( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formally Verified SMT Approach to True Concurrency.

, и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 357-371. CEUR-WS.org, (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.

Johannes Marcour

Hans-Ernst Marcolin

Monika Marcotty

Carlos Javier Marcos Navas

Massimiliano Marcon

 

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

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts., и . ICFEM, том 10610 из Lecture Notes in Computer Science, стр. 209-225. Springer, (2017)A framework for automated conflict detection and resolution in medical guidelines., , , и . Sci. Comput. Program., (2019)Basic first-order model theory in Mizar.. J. Formaliz. Reason., 3 (1): 49-77 (2010)A Formally Verified SMT Approach to True Concurrency., и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 357-371. CEUR-WS.org, (2020)Representation Theorems Obtained by Mining across Web Sources for Hints., и . ICICT, стр. 203-210. IEEE, (2023)Isabelle Formalisation of Original Representation Theorems.. CICM, том 14101 из Lecture Notes in Computer Science, стр. 98-112. Springer, (2023)Reasoning about Auctions, , , и . Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT), (2014)Correct Composition of Dephased Behavioural Models., и . FACS, том 10487 из Lecture Notes in Computer Science, стр. 233-250. Springer, (2017)Correct composition in the presence of behavioural conflicts and dephasing., и . Sci. Comput. Program., (2020)Auction Theory Toolbox, , , , , , и . (2015)