| 2004 |
|---|
| 4 | EE | Petri Mikkilä,
Mikko Tiusanen:
Comparing protocol stacks using stochastic Petri nets.
SMC (5) 2004: 4855-4860 |
| 1999 |
|---|
| 3 | | Jari Malinen,
Hannu Kari,
Mikko Tiusanen:
Scenario-driven design considerations for MANET protocols (short paper).
DAIS 1999: 205-212 |
| 1994 |
|---|
| 2 | | Mikko Tiusanen:
Symbolic, Symmetry, and Stubborn Set Searches.
Application and Theory of Petri Nets 1994: 511-530 |
| 1988 |
|---|
| 1 | | Mikko Tiusanen:
Some unsolved problems in modelling self-timed circuits using Petri nets.
Bulletin of the EATCS 36: 152-160 (1988) |
