| |
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on In Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on (2008), pp. 166-173.
|
| |
Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
|
| |
Graph Transformation (2002), pp. 239-253.
|
| |
Graph-Theoretic Concepts in Computer Science (1987), pp. 82-93.
|
| |
Transactions on Software Engineering In Transactions on Software Engineering, Vol. 21, No. 9. (1995), pp. 754-767.
|
| |
Acta Informatica, Vol. 44, No. 7. (10 December 2007), pp. 463-508.
|
| |
Jisuanji Jicheng Zhizao Xitong, Vol. 13, No. 7. (2007), pp. 1300-1307.
|
| |
Software Quality Journal, Vol. 16, No. 1. (March 2008), pp. 45-78.
|
| |
Beijing Hangkong Hangtian Daxue Xuebao, Vol. 33, No. 2. (2007), pp. 248-252.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Vol. 148, No. 1. (1 February 2006), pp. 151-172.
|
| |
: Design of Embedded Control Systems (2005), pp. 73-83.
|
| |
Journal of Systems and Software, Vol. 70, No. 1-2. (February 2004), pp. 129-142.
|
| |
Advances in Petri Nets 1990 (1991), pp. 1-46.
|
| |
Lecture Notes in Computer Science : Modular Construction and Partial Order Semantics of Petri Nets, Vol. 625 (1992), pp. 75-129.
|
| |
Theoretical Computer Science, Vol. 328, No. 3. (3 December 2004), pp. 245-269.
|
| |
In SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools (2006), pp. 5-12.
|
| |
Lecture Notes in Computer Science : Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005), pp. 38-52.
|
| |
In ICSE '06: Proceeding of the 28th international conference on Software engineering (2006), pp. 202-211.
|
| |
Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on (2004), pp. 57-66.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 1. (January 2005), pp. 42-84.
|
| |
In WOSP '02: Proceedings of the 3rd international workshop on Software and performance (2002), pp. 35-45.
|
CiteULike
leonardo's CiteULike
Search
Export
