( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

, , , , и . Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, том 12225 из Lecture Notes in Computer Science, стр. 372-397. Springer, (октября 2020)
DOI: 10.1007/978-3-030-53291-8_20

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.

Michael Blondin

Michael Blondin

Stéphane Blondin

Dirk Blondin

Christiane Blondin

 

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

Succinct Population Protocols for Presburger Arithmetic, , , , и . (2019)Continuous One-Counter Automata., , , , и . LICS, стр. 1-13. IEEE, (2021)Separators in Continuous Petri Nets., и . FoSSaCS, том 13242 из Lecture Notes in Computer Science, стр. 81-100. Springer, (2022)The Complexity of Reachability in Affine Vector Addition Systems with States, и . Logical Methods in Computer Science, (июля 2021)Affine Extensions of Integer Vector Addition Systems with States, , , и . (2019)https://arxiv.org/abs/1909.12386.Verifying linear temporal specifications of constant-rate multi-mode systems., , и . LICS, стр. 1-13. IEEE, (2023)The ABCs of petri net reachability relaxations.. ACM SIGLOG News, 7 (3): 29-43 (2020)Affine Extensions of Integer Vector Addition Systems with States., , , и . Log. Methods Comput. Sci., (2021)Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations., , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 468-489. Springer, (2022)Directed Reachability for Infinite-State Systems., , и . TACAS (2), том 12652 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2021)