%0 Conference Paper %1 conf/date/KondratyevCKPRY95 %A Kondratyev, Alex %A Cortadella, Jordi %A Kishinevsky, Michael %A Pastor, Enric %A Roig, Oriol %A Yakovlev, Alexandre %B ED&TC %D 1995 %I IEEE Computer Society %K dblp %P 325-332 %T Checking signal transition graph implementability by symbolic BDD traversal. %U http://dblp.uni-trier.de/db/conf/date/edtc1995.html#KondratyevCKPRY95 %@ 0-8186-7039-8

@inproceedings{conf/date/KondratyevCKPRY95, added-at = {2022-05-20T00:00:00.000+0200}, author = {Kondratyev, Alex and Cortadella, Jordi and Kishinevsky, Michael and Pastor, Enric and Roig, Oriol and Yakovlev, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/22cfc0b87eac0a51e3249be21275748f1/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1995}, ee = {https://www.wikidata.org/entity/Q56893287}, interhash = {6dc91dfcc44d5de2a2c1d03da5af47b1}, intrahash = {2cfc0b87eac0a51e3249be21275748f1}, isbn = {0-8186-7039-8}, keywords = {dblp}, pages = {325-332}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:36:04.000+0200}, title = {Checking signal transition graph implementability by symbolic BDD traversal.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1995.html#KondratyevCKPRY95}, year = 1995 }