A decision procedure for detecting atomicity violations for communicating processes with locks
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Pasareanu Corina S.
Book title: Model Checking Software (Volume 5578)
Page range: 125-142
Publishing company: Springer
Title of series: Lecture Notes in Computer Science
Volume of series: 5578
Status: Published
Release year: 2009
Language in which the publication is written: English
Conference: 16th International SPIN Workshop, June 26-28, 2009, Grenoble, France,, undefined
ISBN: 978-3-642-02651-5
Link to the full text: http://dx.doi.org/10.1007/978-3-642-02652-2_12
Authors from the University of Münster
| Lammich, Peter | Institute of Computer Science |