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 |
Eingestellt am: | 22. Jul 2009 10:27 |
Letzte Änderung: | 01. Jan 2010 21:23 |
URL zu dieser Anzeige: | http://edoc.ku-eichstaett.de/603/ |