Synthesizing Petri nets from LTL specifications – An engineering approach
Aus GRK-Wiki
Seiteninformationen
Diese Seite wurde zuletzt am 10. Juli 2009 um 03:51 Uhr von GRK-Wiki-Benutzer Henrykbot geändert. Basiert auf der Arbeit von Henryk Plötz und Dirk Fahland
