Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference Paper
(2017)
Author(s)
Ahmed Bouajjani
Michael Emmi
Constantin Enea
Burcu Kulahcioglu Ozkan (Koç University)
Serdar Tasiran
DOI related publication
https://doi.org/10.1007/978-3-662-54434-1_7
Final published version
To reference this document use
https://resolver.tudelft.nl/uuid:e0554e94-9b51-40bb-bb02-2e130013ef4c
More Info
expand_more
expand_more
Publication Year
2017
Language
English
ISBN (print)
['9783662544334', '9783662544341']
Downloads counter
167