Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System
書誌事項
- タイトル
- Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System
- 著者
- Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
収録刊行物
-
- Proceedings of the 6th International Conference on Integrated Formal Methods(6th IFM), LNCS4591, Speringer
-
Proceedings of the 6th International Conference on Integrated Formal Methods(6th IFM), LNCS4591, Speringer 393-412, 2007