Automatic Synthesis of Deterministic Concurrency

Thumbnail
Metadata only
Author
Raychev, Veselin
Vechev, Martin
Yahav, Eran
Date
2013
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Logozzo, Francesco
Fähndrich, Manuel
Book title
Static Analysis : 20th International Symposium : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
7935
Pages / Article No.
283 - 303
Publisher
Springer
Event
20th International Symposium, SAS 2013, Seattle,WA, USA, June 20-22, 2013
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics