( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abduction of trap invariants in parameterized systems

, , и . (2021)cite arxiv:2108.09101Comment: Full version of the article In Proceedings GandALF 2021.
DOI: 10.4204/EPTCS.346.1

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.

Peter Raskin

Gisela Raskin

Richard Raskin

Katrin Raskin

Heinrich Raskin

 

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

Population protocols with unreliable communication.. CoRR, (2019)http://arxiv.org/abs/1902.10041.Protocols with constant local storage and unreliable communication. Theoretical Computer Science, (января 2023)Abduction of trap invariants in parameterized systems, , и . (2021)cite arxiv:2108.09101Comment: Full version of the article In Proceedings GandALF 2021.Affine Extensions of Integer Vector Addition Systems with States, , , и . (2019)https://arxiv.org/abs/1909.12386.The Complexity of Reachability in Affine Vector Addition Systems with States, и . Logical Methods in Computer Science, (июля 2021)Parameterized Analysis of Immediate Observation Petri Nets., , и . Petri Nets, том 11522 из Lecture Notes in Computer Science, стр. 365-385. Springer, (2019)#conference.Constructive expressive power of population protocols. (2020)http://arxiv.org/abs/2002.07303.A Stay-in-a-Set Game without a Stationary Equilibrium, и . Electronic Proceedings in Theoretical Computer Science, (сентября 2019)#conference.Affine Extensions of Integer Vector Addition Systems with States., , , и . Log. Methods Comput. Sci., (2021)Examples for submission to CONCUR'22., , и . (апреля 2022)