Specification of a gas station using a formalism integrating formal datatypes within state diagrams.

Details

Language :

English

ISBNs :

9780769519265

Database :

Complementary Index

Journal :

Proceedings International Parallel & Distributed Processing Symposium

Publication Type :

Conference

Accession number :

81221471

Full Text :

https://doi.org/10.1109/IPDPS.2003.1213436