dblp.uni-trier.dewww.uni-trier.de

Marko Mäkelä

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Timo Latvala [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)