Library
local_library
Home Repository
AB
Ahmed Bouajjani
Academic Work (1)
Conference paper (1)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
1 records found
1
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference paper (2017) -
Ahmed Bouajjani (author)
,
Michael Emmi (author)
,
Constantin Enea (author)
,
Burcu Kulahcioglu Kulahcioglu Ozkan (author)
,
Serdar Tasiran (author)
