Titelangaben
Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
Synthesis of Petri nets from infinite partial languages.
In: Billington, J. ; Duan, Z. ; Koutny, M. (Hrsg.): Proceedings of the 8th International Conference on Applications of Concurrency to System Design (ACSD). -
Los Alamitos, USA : IEEE Computer Society, 2008. - S. 170-179
Weitere Angaben
Publikationsform: | Aufsatz in einem Buch |
---|---|
Institutionen der Universität: | Mathematisch-Geographische Fakultät > Informatik > Lehrstuhl für Angewandte Informatik (bis 2010) |
Titel an der KU entstanden: | Ja |
KU.edoc-ID: | 603 |
Eingestellt am: 22. Jul 2009 10:27
Letzte Änderung: 01. Jan 2010 21:23
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/603/
Letzte Änderung: 01. Jan 2010 21:23
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/603/