- CSB - MetaPress - Google - Bing - Yahoo
 | 1989 | |
|---|---|---|
| 1 |      | Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko: Modular Verification of Petri Nets: The Temporal Logic Approach. REX Workshop 1989: 180-207 |
| 1 | Werner Damm | [1] |
| 2 | Gert Döhmen | [1] |
| 3 | Bernhard Josko | [1] |