%0 Conference Paper %1 conf/ic-nc/OkanoBN11 %A Okano, Kozo %A Bordbar, Behzad %A Nagaoka, Takeshi %B ICNC %D 2011 %I IEEE Computer Society %K dblp %P 235-241 %T Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. %U http://dblp.uni-trier.de/db/conf/ic-nc/ic-nc2011.html#OkanoBN11 %@ 978-0-7695-4569-1

@inproceedings{conf/ic-nc/OkanoBN11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Okano, Kozo and Bordbar, Behzad and Nagaoka, Takeshi}, biburl = {https://www.bibsonomy.org/bibtex/2c92b00930f7bd934ca01c732f07cd816/dblp}, booktitle = {ICNC}, crossref = {conf/ic-nc/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICNC.2011.42}, interhash = {25a89163671b4e2c80ac12e30b336ffd}, intrahash = {c92b00930f7bd934ca01c732f07cd816}, isbn = {978-0-7695-4569-1}, keywords = {dblp}, pages = {235-241}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:34:33.000+0200}, title = {Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.}, url = {http://dblp.uni-trier.de/db/conf/ic-nc/ic-nc2011.html#OkanoBN11}, year = 2011 }