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. In arXiv.org e-Print archive (Abs/0912.0759). Cornell University Library .