toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title (up) Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Merli, Fabio; Tronci, Enrico System Level Formal Verification via Model Checking Driven Simulation 2013 Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia Springer - Verlag 0302-9743 978-3-642-39798-1 10.1007/978-3-642-39799-8_21 296-312 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: