Autor:	Diego de Azevedo Oliveira, Marc Frappier
Rok vydání:	2023
Zdroj:	Rigorous State-Based Methods ISBN: 9783031331626
DOI:	10.1007/978-3-031-33163-3_11
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7baff338a02afd66f90de9c99feb00dc https://doi.org/10.1007/978-3-031-33163-3_11 Zobrazit plný text záznamu