Sciweavers

Share
IFM
2007
Springer

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System

10 years 5 months ago
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where IFM
Authors Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Comments (0)
books