Cornell University Library
arXiv.org e-Print archive
Specification and Analysis of Embedded Systems

Bonchi, F., Grohmann, D., & Spoletini, P. (2009). Proceedings 2nd Interaction and Concurrency Experience: Structural Interactions. arXiv.org e-Print archive. Cornell University Library .