A decision procedure for detecting atomicity violations for communicating processes with locks
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Pasareanu Corina S.
Buchtitel: Model Checking Software (Band 5578)
Seitenbereich: 125-142
Verlag: Springer
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 5578
Status: Veröffentlicht
Veröffentlichungsjahr: 2009
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: 16th International SPIN Workshop, June 26-28, 2009, Grenoble, France,, undefined
ISBN: 978-3-642-02651-5
Link zum Volltext: http://dx.doi.org/10.1007/978-3-642-02652-2_12
Autor*innen der Universität Münster
| Lammich, Peter | Institut für Informatik |