Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System
Bibliographic Information
- Title
- Algebraic Approaches to Formal Analysis of the Mondex Electronic Puxse System
- Author
- Weiqiang Kong, Kazuhiro Ogata and Kokichi Futatsugi
Journal
-
- 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
- Tweet
Details 詳細情報について
-
- CRID
- 1010282257420751119
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN