Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Conference on Concurrency Theory
Citation
Fokkink, W.J, Ioustinova, N, Kesseler, E, van de Pol, J.C, Usenko, Y.S, & Yushtein, Y. (2002). Refinement and Verification Applied to an In-flight Data Acquisitation Unit. In Proceedings of International Conference on Concurrency Theory 2002 (13) (pp. 1–31). Springer.