Christian Attiogbé, Pascal Poizat, Gwen Salaün. Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. pages 240, IEEE Computer Society, 2003. [doi]
Abstract is missing.