Marko Mäkelä Vis

*	2004
4	EE	Timo Latvala, Marko Mäkelä: LTL Model Checking for Modular Petri Nets. ICATPN 2004: 298-311
	2003
3	EE	Marko Mäkelä: Model Checking Safety Properties in Modular High-Level Nets. ICATPN 2003: 201-220
	2002
2	EE	Marko Mäkelä: Maria: Modular Reachability Analyser for Algebraic System Nets. ICATPN 2002: 434-444
	2001
1	EE	Marko Mäkelä: Optimising Enabling Tests and Unfoldings of Algebraic System Nets. ICATPN 2001: 283-302

Coauthor Index

1

Timo Latvala

[4]