-
1
Runtime verification 19th international conference, RV 2019, Porto, Portugal, October 8–11, 2019, proceedings
Veröffentlicht 2019Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
2
Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, proceedings
Veröffentlicht 2022Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
Volltext öffnen
Elektronisch Tagungsbericht E-Book -
3
Tools and algorithms for the construction and analysis of systems 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice o...
Veröffentlicht 2024Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
4
Tools and algorithms for the construction and analysis of systems 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice o...
Veröffentlicht 2024Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
5
Tools and algorithms for the construction and analysis of systems 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice o...
Veröffentlicht 2024Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
Volltext öffnen Volltext öffnen
Elektronisch Tagungsbericht E-Book -
6
Fields of logic and computation III essays dedicated to Yuri Gurevich on the occasion of his 80th birthday
Veröffentlicht 2020Weitere Verfasser: Volltext öffnen
Elektronisch E-Book -
7
Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022 : proceedings
Veröffentlicht 2022Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
-
8
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Veröffentlicht 2015Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
Volltext öffnen Volltext öffnen
-
9
Runtime verification 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings
Veröffentlicht 2019Weitere Verfasser: “… Finkbeiner, Bernd 1972- …”
