Petri Net Synthesis and Modal Specifications

Schlachter, Uli Christian

Autor(en):

Vollständige Referenz
BibTeX

Schlachter, U. C., (2019). Petri Net Synthesis and Modal Specifications. In: Hölldobler, S. (Hrsg.), Ausgezeichnete Informatikdissertationen 2018. Bonn: Gesellschaft für Informatik e.V.. (S. 221-230).

@inproceedings{mci/Schlachter2019,
author = {Schlachter, Uli Christian},
title = {Petri Net Synthesis and Modal Specifications},
booktitle = {Ausgezeichnete Informatikdissertationen 2018},
year = {2019},
editor = {Hölldobler, Steffen} ,
pages = { 221-230 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}