27
IRUS TotalDownloads
Altmetric
Universes for Race Safety
File | Description | Size | Format | |
---|---|---|---|---|
universes-races.pdf | Accepted version | 339.59 kB | Adobe PDF | View/Open |
Title: | Universes for Race Safety |
Authors: | Cunningham, D Eisenbach, S Drossopoulou, S |
Item Type: | Conference Paper |
Issue Date: | 3-Sep-2007 |
URI: | http://hdl.handle.net/10044/1/5982 |
Publisher Link: | http://www.cs.ru.nl/~chaack/VAMP07/ |
Presented At: | 1st International Workshop on Verification and Analysis of Multi-threaded Java-like Programs (VAMP) 2007 |
Start Page: | 1 |
End Page: | 32 |
Copyright Statement: | © The Authors |
Conference Location: | Lisbon, Portugal |
Appears in Collections: | Distributed Software Engineering Computing |