toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links (down)
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier 2004 Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings Springer 3-540-23738-0 10.1007/978-3-540-30494-4_16 214-229 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: