| |
Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International In Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International (1990), pp. 639-646.
|
| |
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.
|
| |
Petri Nets and Other Models of Concurrency - ICATPN 2006 (2006), pp. 411-420.
|
| |
Systems, Man and Cybernetics, Part A, IEEE Transactions on In Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 4. (2008), pp. 791-801.
|
| |
Dependable Systems: Software, Computing, Networks (2006), pp. 145-171.
|
| |
Journal of Visual Languages & Computing, Vol. 19, No. 2. (April 2008), pp. 153-181.
|
| |
Graph Transformation (2002), pp. 239-253.
|
| |
Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on (2004), pp. 57-66.
|
| |
Graph-Theoretic Concepts in Computer Science (1987), pp. 82-93.
|
| |
Petri Net Technology for Communication-Based Systems (2003), pp. 124-144.
|
| |
In Lecture Notes in Informatics: Promise 2002 (2002)
|
| |
Transactions on Software Engineering In Transactions on Software Engineering, Vol. 21, No. 9. (1995), pp. 754-767.
|
| |
Applications and Theory of Petri Nets 2003 (2003), pp. 161-180.
|
| |
Acta Informatica, Vol. 44, No. 7. (10 December 2007), pp. 463-508.
|
| |
Jisuanji Jicheng Zhizao Xitong, Vol. 13, No. 7. (2007), pp. 1300-1307.
|
| |
Informatikberichte 150 (2001)
|
| |
Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003. Proceedings In Applications and Theory of Petri Nets 2003: 24th International Conference (June 2003), pp. 1023-1024.
|
| |
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.
|
| |
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.
|
| |
Automatic Control, IEEE Transactions on, Vol. 51, No. 2. (2006), pp. 376-381.
|
| |
Automatic Control, IEEE Transactions on, Vol. 51, No. 2. (2006), pp. 325-330.
|
| |
Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 2. (2006), pp. 327-337.
|
| |
Metabolic Engineering, Vol. 8, No. 2. (March 2006), pp. 112-122.
|
| |
Systems, Man and Cybernetics, Part B, IEEE Transactions on, Vol. 35, No. 6. (2005), pp. 1193-1202.
|
| |
The International Journal of Advanced Manufacturing Technology, Vol. 25, No. 7 - 8. (April 2005), pp. 735-742.
|
| |
Mathematics and Computers in Simulation, Vol. 61, No. 1. (01 November 2002), pp. 53-59.
|
| |
|
| |
|
Search
