Certified Computation of Nondeterministic Limits

Autor:	Holger Thies, Michal Konečný, Sewon Park
Rok vydání:	2022
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031067723
DOI:	10.1007/978-3-031-06773-0_41
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::271a1d9ed0b64517a852acb43f29de77 https://doi.org/10.1007/978-3-031-06773-0_41 Zobrazit plný text záznamu