Jerzy Miescicki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Jerzy Miescicki: Verification of UML State Diagrams Using Concurrent State Machines. SET 2006: 261-271

1985

1 Jerzy Miescicki: An Event-Driven-Net Model of a Multiprocessor System. PNPM 1985: 126-13

	2006
2		Jerzy Miescicki: Verification of UML State Diagrams Using Concurrent State Machines. SET 2006: 261-271
	1985
1		Jerzy Miescicki: An Event-Driven-Net Model of a Multiprocessor System. PNPM 1985: 126-13

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page