Közlemény:2905183
Egyeztetett Forrás Folyóiratcikk
(Szakcikk ) Tudományos
Nyilvános idéző
összesen: 8 | Független: 5 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus
jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 7
Nyelv: Angol Szakcikk (Folyóiratcikk) | Tudományos[2905183] [Egyeztetett]
Nyilvános idéző összesen:
8,
Független: 5, Függő: 3, Nem jelölt: 0
Vajk István et al. BME VIK Annual Research Report on Electrical Engineering and Computer
Science 2015. (2016) PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
2064-5260 2064-5279 60 1 1-36
Shi Ya et al. Model checking Petri nets with MSVL. (2016) INFORMATION SCIENCES 0020-0255
1872-6291 363 274-291
* Vörös András et al. PetriDotNet 1.5: Extensible Petri net editor and analyser for
education and research. (2016) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349
9698 Torun 123-132
Konstantinos Athanasiou et al. Unbounded-Thread Program Verification using Thread-State
Equations. (2016) Megjelent: Automated Reasoning - 8th International Joint Conference,
IJCAR 2016 pp. 516-531
* Bence Czipó et al. Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts
Using SMT Solvers. (2017) Megjelent: Proceedings of the 14th International Workshop
on Formal Engineering approaches to Software Components and Architectures pp. 31-45
* Vörös András et al. Industrial Applications of the PetriDotNet Modelling and Analysis
Tool. (2018) SCIENCE OF COMPUTER PROGRAMMING 0167-6423 1872-7964 157 17-40
Wolf Karsten. How Petri Net Theory Serves Petri Net Model Checking: A Survey. (2019)
Megjelent: Transactions on Petri Nets and Other Models of Concurrency XIV pp. 36-63
Liebke Torsten et al. Solving E (φ U ψ) using the CEGAR Approach. (2019)