Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Publikation: Teil einer Monographie/eines Konferenzbandes

Finding a witness path for non-liveness in free-choice nets

Grunddaten

Titel Finding a witness path for non-liveness in free-choice nets
Veröffentlicht in Applications and theory of Petri nets : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 ; proceedings. - Heidelberg [u.a.] : Springer
Erscheinungsjahr 2011
Seiten (von – bis) 189 – 207
Jahr 2011
Publikationsform Druckschrift
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
Letzte Änderung 17.05.2019 12:49:27
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/39745
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Wimmel, Harro
Wolf, Karsten Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Bereich Informatik