Computing Under-approximations of Multivalued Decision Diagrams

Autor:	Seyedehzahra Hosseini, Gianfranco Ciardo
Rok vydání:	2023
Zdroj:	Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3ff601a55503bf398c06460dcabbd963 https://doi.org/10.1007/978-3-031-33620-1_14 Zobrazit plný text záznamu