CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions

Autor:	Junaid Babar, Gianfranco Ciardo, Andrew Miner
Rok vydání:	2022
Předmět:	Software Information Systems
Zdroj:	International Journal on Software Tools for Technology Transfer. 24:89-109
ISSN:	1433-2787 1433-2779
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6cde4f3e8a0de636540bf16d03c01fe7 https://doi.org/10.1007/s10009-021-00640-0 Zobrazit plný text záznamu Full text from SpringerLink