direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications of KBS

Using State Equation to Prove Non-reachability in Timed Petrinets
Citation key PWR03
Author Louchka Popova-Zeugmann and Matthias Werner and Jan Richling
Pages 187–202
Year 2003
Journal Fundamentae Informatica, 55(2003)2
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions