24
IRUS Total
Downloads
  Altmetric

Universes for Race Safety

File Description SizeFormat 
universes-races.pdfAccepted version339.59 kBAdobe PDFView/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