Refinement and verification applied to an in-flight data acquisitation unit

2002

Presented at the International Conference on Concurrency Theory, Brno, Czech Republic

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Conference on Concurrency Theory
Organisation	Software Analysis and Transformation
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W., Ioustinova, N., Kesseler, E., van de Pol, J., Usenko, Y.& Yushtein, Y. (2002, January). Refinement and verification applied to an in-flight data acquisitation unit. Proceedings of International Conference on Concurrency Theory 2002 (CONCUR 13).

Publication