Search the dblp DataBase
Christian Stehno :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:483-505 [Conf ] Hans Fleischhack , Christian Stehno Computing a Finite Prefix of a Time Petri Net. [Citation Graph (0, 0)][DBLP ] ICATPN, 2002, pp:163-181 [Conf ] Christian Stehno Petri net markup language: implementation and application. [Citation Graph (0, 0)][DBLP ] Promise, 2002, pp:14-25 [Conf ] Christoph Eichner , Hans Fleischhack , Roland Meyer , Ulrik Schrimpf , Christian Stehno Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. [Citation Graph (0, 0)][DBLP ] SDL Forum, 2005, pp:133-148 [Conf ] Christian Stehno System Specification and Verification Using High Level Concepts - A Tool Demonstration. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:246-249 [Conf ] Christian Stehno Real-Time Systems Design with PEP. [Citation Graph (0, 0)][DBLP ] TACAS, 2002, pp:476-480 [Conf ] Search in 0.001secs, Finished in 0.001secs