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 2009 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-008-0094-x 11 13-25 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: