Springer
Lecture Notes in Computer Science
International Conference on Concurrency Theory
Software Analysis and Transformation

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.