2004
Los 25 años de la OMC: Una retrospectiva fotográfica
Pub Date : 2018-10-08
DOI:10.1017/9781139979672.024
引用次数: 0
Abstract
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, and Marisa Venturini Zilli. "Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier." In Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, edited by A. J. Hu and A. K. Martin, 214–229. Lecture Notes in Computer Science 3312. Springer, 2004. ISSN: 3-540-23738-0. DOI: 10.1007/978-3-540-30494-4_16.2004
Giuseppe Della Penna, Benedetto martinila, Igor Melatti, Enrico Tronci和Marisa Venturini Zilli。用Mur$\varphi$验证器检查有界概率模型。《计算机辅助设计的形式方法》，第5届国际计算机辅助设计学术会议，2004年11月15-17日，美国，奥斯丁，A. K. Martin主编，214-229。计算机科学3312课堂讲稿。施普林格,2004年。石头:3-540-23738-0。DOI: 10.1007 / 978 - 3 - 540 - 30494 - 4 - _16。
本文章由计算机程序翻译，如有差异，请以英文原文为准。
求助全文
约1分钟内获得全文
求助全文
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
