| |
Acta Informatica, Vol. 38, No. 4. (1 January 2002), pp. 235-259.
|
| |
Graph Transformations (2008), pp. 242-256.
|
| |
Conceptual Modeling — ER 2000 (2000), pp. 451-530.
|
| |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (2000), pp. 315-330.
|
| |
CONCUR’99 Concurrency Theory (1999), pp. 782-782.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 3-21.
|
| |
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on (2001), pp. 11-22.
|
| |
Lecture Notes in Computer Science : Formal Methods and Software Engineering (2003), pp. 125-143.
|
| |
Rapid System Prototyping, 2000. RSP 2000. Proceedings. 11th International Workshop on (2000), pp. 46-51.
|
| |
Advances in Petri Nets 1990 (1991), pp. 1-46.
|
| |
Lecture Notes in Computer Science : CONCUR '96: Concurrency Theory (1996), pp. 687-702.
|
| |
Acta Informatica, Vol. 37, No. 4. (16 January 2001), pp. 229-327.
|
| |
Human Centric Computing Languages and Environments, 2003. Proceedings. 2003 IEEE Symposium on (2003), pp. 137-144.
|
| |
Proc. 12th Int’l Conf. on Software and Knowledge Eng. (July 2000), pp. 150-158.
|
| |
|
| |
Information and Software Technology, Vol. 44, No. 10. (1 July 2002), pp. 565-578.
|
Search
Export
