Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference Paper
(2017)
Author(s)
Burcu Külahçıoğlu Kulahcioglu Ozkan (Koç University)
Affiliation
External organisation
DOI related publication
https://doi.org/10.1007/978-3-662-54434-1_7
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
Affiliation
External organisation
ISBN (print)
['9783662544334', '9783662544341']
No files available
Metadata only record. There are no files for this record.