16896033
Results 1 to 1 of 1
Selection :
Context-bounded model checking of concurrent softwareQADEER, Shaz; REHOF, Jakob.Lecture notes in computer science. 2005, pp 93-107, issn 0302-9743, isbn 3-540-25333-5, 15 p.Conference Paper