%0 Conference Paper %1 conf/dimacs/NakamuraKFT90 %A Nakamura, Hiroshi %A Kukimoto, Yuji %A Fujita, Masahiro %A Tanaka, Hidehiko %B CAV (DIMACS/AMS volume) %D 1990 %E Clarke, Edmund M. %E Kurshan, Robert P. %I DIMACS/AMS %K dblp %P 493-504 %T A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#NakamuraKFT90 %V 3 %@ 978-0-8218-6594-1

@inproceedings{conf/dimacs/NakamuraKFT90, added-at = {2022-06-09T00:00:00.000+0200}, author = {Nakamura, Hiroshi and Kukimoto, Yuji and Fujita, Masahiro and Tanaka, Hidehiko}, biburl = {https://www.bibsonomy.org/bibtex/2a42ff48c2d2fac35e11a113b6fe82fab/dblp}, booktitle = {CAV (DIMACS/AMS volume)}, crossref = {conf/dimacs/1990a}, editor = {Clarke, Edmund M. and Kurshan, Robert P.}, ee = {https://doi.org/10.1090/dimacs/003/30}, interhash = {47de22ece9a5c841929a1deb4c9dfa92}, intrahash = {a42ff48c2d2fac35e11a113b6fe82fab}, isbn = {978-0-8218-6594-1}, keywords = {dblp}, pages = {493-504}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:14.000+0200}, title = {A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#NakamuraKFT90}, volume = 3, year = 1990 }