( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Completeness, Covers and Superposition.

, , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 142-160. Springer, (2019)

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.

Raymond Rivkin

Andrey Frolov

Andrey Eremeev

Andrey Shornikov

Andrey Gurinov

 

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

Model Completeness, Covers and Superposition., , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 142-160. Springer, (2019)Modeling Trading Systems using Petri Net Extensions., , и . PNSE@Petri Nets, том 2651 из CEUR Workshop Proceedings, стр. 118-137. CEUR-WS.org, (2020)Model Completeness, Covers and Superposition (Abridged Version)., , , , и . CILC, том 2396 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)From DB-nets to Coloured Petri Nets with Priorities (Extended Version)., и . CoRR, (2019)Conformance Checking with Uncertainty via SMT., , , , и . BPM, том 13420 из Lecture Notes in Computer Science, стр. 199-216. Springer, (2022)From DB-nets to Coloured Petri Nets with Priorities., и . Petri Nets, том 11522 из Lecture Notes in Computer Science, стр. 449-469. Springer, (2019)Formalizing Integration Patterns with Multimedia Data., , и . EDOC, стр. 67-76. IEEE, (2020)Towards a Multi-model Paradigm for Business Process Management., , , , и . CAiSE, том 14663 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2024)Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN., , , , и . BPM, том 11675 из Lecture Notes in Computer Science, стр. 157-175. Springer, (2019)Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)., , , и . CoRR, (2022)