toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author (up) Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and Distributed Model Checking in Eddy 2006 Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings Springer - Verlag 0302-9743 978-3-540-33102-5 10.1007/11691617_7 108-125 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: