%0 Journal Article %1 journals/ieiceta/SakunkonchakKF03 %A Sakunkonchak, Thanyapat %A Komatsu, Satoshi %A Fujita, Masahiro %D 2003 %J IEICE Trans. Fundam. Electron. Commun. Comput. Sci. %K dblp %N 12 %P 3192-3199 %T Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams. %U http://dblp.uni-trier.de/db/journals/ieiceta/ieiceta86.html#SakunkonchakKF03 %V 86-A

@article{journals/ieiceta/SakunkonchakKF03, added-at = {2021-06-08T00:00:00.000+0200}, author = {Sakunkonchak, Thanyapat and Komatsu, Satoshi and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2d39de27a9d54e6747c353fef83bf3816/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e86-a_12_3192}, interhash = {4648d3dc950eab50e8dfdb5246d8c0d9}, intrahash = {d39de27a9d54e6747c353fef83bf3816}, journal = {IEICE Trans. Fundam. Electron. Commun. Comput. Sci.}, keywords = {dblp}, number = 12, pages = {3192-3199}, timestamp = {2024-04-08T16:11:55.000+0200}, title = {Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/ieiceta/ieiceta86.html#SakunkonchakKF03}, volume = {86-A}, year = 2003 }