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_10
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3c7043cb09b53207af640c61d2198622 https://doi.org/10.1007/978-3-031-33163-3_10 Zobrazit plný text záznamu