| 2005 |
|---|
| 6 | EE | Christoph Eichner,
Hans Fleischhack,
Roland Meyer,
Ulrik Schrimpf,
Christian Stehno:
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets.
SDL Forum 2005: 133-148 |
| 2003 |
|---|
| 5 | EE | Jonathan Billington,
Søren Christensen,
Kees M. van Hee,
Ekkart Kindler,
Olaf Kummer,
Laure Petrucci,
Reinier Post,
Christian Stehno,
Michael Weber:
The Petri Net Markup Language: Concepts, Technology, and Tools.
ICATPN 2003: 483-505 |
| 2002 |
|---|
| 4 | EE | Hans Fleischhack,
Christian Stehno:
Computing a Finite Prefix of a Time Petri Net.
ICATPN 2002: 163-181 |
| 3 | | Christian Stehno:
Petri net markup language: implementation and application.
Promise 2002: 14-25 |
| 2 | EE | Christian Stehno:
System Specification and Verification Using High Level Concepts - A Tool Demonstration.
SPIN 2002: 246-249 |
| 1 | EE | Christian Stehno:
Real-Time Systems Design with PEP.
TACAS 2002: 476-480 |
