im PublikationsserverTitelangaben
Klai, Kais ; Tata, Samir ; Desel, Jörg:
Symbolic abstraction and deadlock freeness verification of inter-enterprise processes.
In: Dayal, Umeshwar ; Eder, Johann ; Koehler, Jana ; Reijers, Hajo A.: Business process management : 7th international conference, BPM 2009, Ulm, Germany, September 8-10, 2009 ; proceedings. -
Berlin ; Heidelberg ; New York : Springer, 2009. - (Lecture notes in computer science ; 5701)
ISBN 3-642-03847-6 ; 978-3-642-03847-1
ISSN 0302-9743
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: | 3293 |
Eingestellt am: 20. Jan 2010 15:55
Letzte Änderung: 20. Jan 2010 15:55
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/3293/
Letzte Änderung: 20. Jan 2010 15:55
URL zu dieser Anzeige: https://edoc.ku.de/id/eprint/3293/
