im PublikationsserverTitelangaben
Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
Complete Process Semantics for Inhibitor Nets.
In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). -
Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
ISBN 978-3-540-73093-4
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: | 724 |
Eingestellt am: 23. Jul 2009 18:02
Letzte Änderung: 01. Jan 2010 21:24
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/724/
Letzte Änderung: 01. Jan 2010 21:24
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/724/
