Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
2014 |
Herausgeber: |
Nanopoulos, Alexandros ; Schmidt, Werner |
Autor(en): |
Borgert, Stephan ; Mühlhäuser, Max |
Art des Eintrags: |
Bibliographie |
Titel: |
Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting |
Sprache: |
Deutsch |
Publikationsjahr: |
2014 |
Verlag: |
Springer |
Buchtitel: |
{S-BPM} {ONE} - Scientific Research - 6th International Conference, {S-BPM} {ONE} 2014, Eichst{\"{a}}tt, Germany, April 22-23, 2014. Proceedings |
Reihe: |
Lecture Notes in Business Information Processing |
Band einer Reihe: |
170 |
DOI: |
10.1007/978-3-319-06065-1_2 |
ID-Nummer: |
TUD-CS-2014-1082 |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik 20 Fachbereich Informatik > Telekooperation |
Hinterlegungsdatum: |
31 Dez 2016 12:59 |
Letzte Änderung: |
14 Jun 2021 06:14 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
|
Redaktionelle Details anzeigen |