Autor:	Peter G. Jensen, Stefan Schmid, Morten K. Schou, Jiří Srba
Rok vydání:	2022
Zdroj:	Automated Technology for Verification and Analysis ISBN: 9783031199912
DOI:	10.1007/978-3-031-19992-9_14
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::664ce5fa517a16fda12d512c6b57171a https://doi.org/10.1007/978-3-031-19992-9_14 Zobrazit plný text záznamu