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
Citations
Cited 3 times in Web of Science
Cited 10 times in Scopus
ETH Bibliography
yes
Altmetrics