Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Stehno, Christian"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The Petri Net Markup Language: Concepts, technology, and tools
Jonathan Billington
,
Sren Christensen
,
Kees van Hee
,
Ekkart Kindler
,
Olaf Kummer
,
Laure Petrucci
,
Reinier Post
,
Christian Stehno
,
Michael Weber
Lecture Notes in Computer Science
2679
, 2003, pp. 483-505
Computing a finite prefix of a time Petri net
Hans Fleischhack
,
Christian Stehno
Lecture Notes in Computer Science
2360
, 2002, pp. 163-181