Author of the publication

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes.

, , , , and . Inf. Syst., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Results from the Verification of Models of Spectrum Auctions., , and . BMSD, volume 453 of Lecture Notes in Business Information Processing, page 54-68. Springer, (2022)A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes., , , and . Business Process Management, volume 4102 of Lecture Notes in Computer Science, page 458-464. Springer, (2006)Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung., , and . D-CSCL, page 267-268. Physica-Verlag / Springer, (2000)Efficient Verification of Process Models Supporting Modifications of Data Values., , , and . CBI (1), page 21-30. IEEE, (2022)Supporting Semantic Rules by a Generalized Event/Trigger Mechanism., , and . EDBT, volume 303 of Lecture Notes in Computer Science, page 76-91. Springer, (1988)A Practical Strategy for the Modularization of Courseware., , , and . Wissensmanagement, volume P-28 of LNI, page 235-239. GI, (2003)Datenbankkonzepte für Ingenieuranwendungen: ein Übersicht über den Stand der Entwicklung., , , and . GI Jahrestagung, volume 88 of Informatik-Fachberichte, page 175-192. Springer, (1984)Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions., , and . CBI (1), page 181-190. IEEE, (2020)DAMASCUS - ein Datenhaltungssystem für den VLSI-Entfurf., , and . BTW, volume 94 of Informatik-Fachberichte, page 70-72. Springer, (1985)Basismechanismen für komplexe Konsistenzprobleme in Entwurfsdatenbanken., , and . BTW, volume 94 of Informatik-Fachberichte, page 73-90. Springer, (1985)