Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
| Main Author: | Eekelen, Marko |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Shkaravska, Olha |
| Format: | Electronic Kit Book |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer-Verlag Heidelberg
2010
|
| Series: | Lecture Notes in Computer Science
6324 |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-642-15331-0 |
Similar Items
-
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
by: Barthe, Gilles
Published: (2010) -
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
by: Hull, Richard
Published: (2010) -
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
by: MΓ©ry, Dominique
Published: (2010) -
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by: Chatterjee, Krishnendu
Published: (2010) -
Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
by: Fraser, Gordon
Published: (2010)