( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computing Parameterized Invariants of Parameterized Petri Nets.

, , и . Petri Nets, том 12734 из Lecture Notes in Computer Science, стр. 141-163. Springer, (2021)

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.

Christoph Björn Welzel

Klaus Welzel

Falk Welzel

Robert Welzel

Gotthard Welzel

 

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

Computing Parameterized Invariants of Parameterized Petri Nets., , и . Fundam. Informaticae, 187 (2-4): 197-243 (2022)Structural Invariants for the Verification of Systems with Parameterized Architectures., , , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 228-246. Springer, (2020)Examples for submission to CONCUR'22., , и . (апреля 2022)ostrich., , и . (февраля 2020)Abduction of trap invariants in parameterized systems, , и . (2021)cite arxiv:2108.09101Comment: Full version of the article In Proceedings GandALF 2021.Working with first-order proofs and provers., и . (2019)https://european-lisp-symposium.org/static/2019/raskin.pdf.Computing Parameterized Invariants of Parameterized Petri Nets., , и . Petri Nets, том 12734 из Lecture Notes in Computer Science, стр. 141-163. Springer, (2021)Regular Model Checking Upside-Down: An Invariant-Based Approach., , и . CONCUR, том 243 из LIPIcs, стр. 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Inductive Statements for Regular Transition Systems.. Technical University of Munich, Germany, (2024)Computing Inductive Invariants of Regular Abstraction Frameworks., , , и . CONCUR, том 311 из LIPIcs, стр. 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)