%0 Conference Paper %1 conf/memocode/SakunkonchakKF05 %A Sakunkonchak, Thanyapat %A Komatsu, Satoshi %A Fujita, Masahiro %B MEMOCODE %D 2005 %I IEEE Computer Society %K dblp %P 121-130 %T Synchronization verification in system-level design with ILP solvers. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2005.html#SakunkonchakKF05 %@ 0-7803-9227-2

@inproceedings{conf/memocode/SakunkonchakKF05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Sakunkonchak, Thanyapat and Komatsu, Satoshi and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2bf1bdf85d8fa943e486f24eb8a8de81f/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2005}, ee = {http://dl.acm.org/citation.cfm?id=1322151}, interhash = {aac4ba51b94484ef324bcff943b6b8f3}, intrahash = {bf1bdf85d8fa943e486f24eb8a8de81f}, isbn = {0-7803-9227-2}, keywords = {dblp}, pages = {121-130}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:28:10.000+0200}, title = {Synchronization verification in system-level design with ILP solvers.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2005.html#SakunkonchakKF05}, year = 2005 }