Searching for authors named "Christian Stehno" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

System Specification and Verification Using High Level Concepts - A Tool Demonstration
by Christian Stehno — 2002
…System Specication and Verication Using High Level Concepts { A Tool Demonstration Christian Stehno…
Add To MetaCart

PEP Version 2.0
by Christian Stehno, Ina Fc — 2001
…PEP Version 2.0 Christian Stehno Fachbereich Informatik, Carl-von-Ossietzky-Universitat Oldenburg…
Add To MetaCart

FIFO buffers in hot tie sauce
by Franck Pommereau, Christian Stehno — 2001
… sauce Franck Pommereau 1 and Christian Stehno 2 1 LACL, Universit Paris 12, 61 avenue du Gnral de…
Cited by 1 (1 self) – Add To MetaCart

Real-Time Systems Design with PEP
by Christian Stehno, Carl Ossietzky — 2002
…Real-Time Systems Design with PEP Christian Stehno Fachbereich Informatik, Carl von Ossietzky…
Cited by 2 (1 self) – Add To MetaCart

Computing a Finite Prefix of a Time Petri Net
by Hans Fleischhack, Christian Stehno, Fachbereich Informatik — 2001
…Computing a Finite Prex of a Time Petri Net ? Hans Fleischhack and Christian Stehno Fachbereich…
Cited by 3 (1 self) – Add To MetaCart

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets
by Christoph Eichner, Hans Fleischhack, Ulrik Schrimpf, Christian Stehno — 2005 — In 12th Int. SDL Forum, volume 3530 of LNCS
… Fleischhack, Roland Meyer, Ulrik Schrimpf, and Christian Stehno Parallel Systems Group, Department…
Cited by 2 (0 self) – Add To MetaCart

The Petri net markup language: Concepts, technology, and tools
by Jonathan Billington, Søren Christensen, Kees Van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber, Coremedia Ag — 2003 — In Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003
… , Christian Stehno 7 , and Michael Weber 8 1 University of South Australia, Computer Systems Engineering…
Cited by 10 (0 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB