( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions.

, , и . CBI (1), стр. 181-190. IEEE, (2020)

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.

Gerhard Mülle

Albert Mülle

Jennifer Mülle

R. A. A. Bowler

°Ake °Akerström

 

Другие публикации лиц с тем же именем

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