Exploiting synchronization in the analysis of shared-memory asynchronous programs

Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageEnglish
Title of host publicationProceedings of the 2014 International SPIN Symposium on Model Checking of Software
DOIs
Publication statusPublished - 21 Jul 2014
Externally publishedYes

Cite this