Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Christian Attiogbé

Look up 'Christian Attiogbé' in GoogleThis author has not been identified. Look up 'Pascal Poizat' in GoogleThis author has not been identified. It may be one of the following persons:

Gwen Salaün

Look up 'Gwen Salaün' in Google