From post

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.

 

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

First international workshop on verification of business and software processes., и . ICSSP, стр. 143-144. ACM, (2017)A Direct Formal Semantics for BPMN Time-related Constructs., , , и . ENASE, стр. 138-149. SCITEPRESS, (2021)On the Encoding and Solving of Partial Information Games., , , , , и . NETYS, том 12129 из Lecture Notes in Computer Science, стр. 60-76. Springer, (2020)Lumping partially symmetrical stochastic models., , , , и . Perform. Evaluation, 68 (1): 21-44 (2011)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , и . Petri Nets, том 6709 из Lecture Notes in Computer Science, стр. 338-347. Springer, (2011)Formalization of fUML: An Application to Process Verification., , , и . CAiSE, том 8484 из Lecture Notes in Computer Science, стр. 347-363. Springer, (2014)A framework to formally verify conformance of a software process to a software method., , , , и . SAC, стр. 1518-1525. ACM, (2015)Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems., , , , и . Sci. Comput. Program., (2019)Verification of a Hierarchical Generic Mutual Exclusion Algorithm., , и . FORTE, том 5048 из Lecture Notes in Computer Science, стр. 99-115. Springer, (2008)Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework., , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 135-151. Springer, (2019)