%0 Conference Paper %1 conf/iccad/IwashitaNH96 %A Iwashita, Hiroaki %A Nakata, Tsuneo %A Hirose, Fumiyasu %B ICCAD %D 1996 %E Rutenbar, Rob A. %E Otten, Ralph H. J. M. %I IEEE Computer Society / ACM %K dblp %P 82-87 %T CTL model checking based on forward state traversal. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1996.html#IwashitaNH96 %@ 0-8186-7597-7

@inproceedings{conf/iccad/IwashitaNH96, added-at = {2023-03-24T00:00:00.000+0100}, author = {Iwashita, Hiroaki and Nakata, Tsuneo and Hirose, Fumiyasu}, biburl = {https://www.bibsonomy.org/bibtex/20a78099cfa5927d0d614d0e9c9002c76/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1996}, editor = {Rutenbar, Rob A. and Otten, Ralph H. J. M.}, ee = {https://dl.acm.org/citation.cfm?id=244536}, interhash = {6d6c13517b3bf243797ef7ade6568d5f}, intrahash = {0a78099cfa5927d0d614d0e9c9002c76}, isbn = {0-8186-7597-7}, keywords = {dblp}, pages = {82-87}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T20:50:01.000+0200}, title = {CTL model checking based on forward state traversal.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1996.html#IwashitaNH96}, year = 1996 }