direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Specification, Verification and Implementation of Business Processes using CSP
Zitatschlüssel Kleine2010b
Autor Moritz Kleine and Thomas Göthel
Buchtitel Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Seiten 145–154
Jahr 2010
ISBN 978-0-7695-4148-8
DOI http://doi.ieeecomputersociety.org/10.1109/TASE.2010.26
Verlag IEEE
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe