%0 Conference Paper %1 conf/aspdac/WatanabeSIKF07 %A Watanabe, Shigeru %A Seto, Kenshu %A Ishikawa, Yuji %A Komatsu, Satoshi %A Fujita, Masahiro %B ASP-DAC %D 2007 %I IEEE Computer Society %K dblp %P 280-285 %T Protocol Transducer Synthesis using Divide and Conquer approach. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2007.html#WatanabeSIKF07 %@ 1-4244-0629-3

@inproceedings{conf/aspdac/WatanabeSIKF07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Watanabe, Shigeru and Seto, Kenshu and Ishikawa, Yuji and Komatsu, Satoshi and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2cad17d6b13e763f01595e8c518bdd0bf/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2007}, ee = {http://dl.acm.org/citation.cfm?id=1323378}, interhash = {e9e61ff372a04ec934b8b57d73a0c75b}, intrahash = {cad17d6b13e763f01595e8c518bdd0bf}, isbn = {1-4244-0629-3}, keywords = {dblp}, pages = {280-285}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:16:52.000+0200}, title = {Protocol Transducer Synthesis using Divide and Conquer approach.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2007.html#WatanabeSIKF07}, year = 2007 }