Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Murphy, Amy L. (Editor), Vitek, Jan (Editor) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
Series: | Lecture Notes in Computer Science,
4467 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
Published: (2006) -
Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings /
Published: (2008) -
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
Published: (2007) -
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers /
Published: (2006) -
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
Published: (2007)