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

MLA

Attiogbe, C., et al. “Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.” Proceedings International Parallel & Distributed Processing Symposium, Jan. 2003, p. 8. EBSCOhost, https://doi.org/10.1109/IPDPS.2003.1213436.

APA

Attiogbe, C., Salaun, G., & Poizat, P. (2003). Specification of a gas station using a formalism integrating formal datatypes within state diagrams. Proceedings International Parallel & Distributed Processing Symposium, 8. https://doi.org/10.1109/IPDPS.2003.1213436

Chicago

Attiogbe, C., G. Salaun, and P. Poizat. 2003. “Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.” Proceedings International Parallel & Distributed Processing Symposium, January, 8. doi:10.1109/IPDPS.2003.1213436.