%0 Journal Article %1 journals/tcad/GopalakrishnanBMN94 %A Gopalakrishnan, Ganesh %A Brunvand, Erik %A Michell, Nick %A Nowick, Steven M. %D 1994 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 1309-1318 %T A correctness criterion for asynchronous circuit validation and optimization. %U http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#GopalakrishnanBMN94 %V 13

@article{journals/tcad/GopalakrishnanBMN94, added-at = {2020-09-24T00:00:00.000+0200}, author = {Gopalakrishnan, Ganesh and Brunvand, Erik and Michell, Nick and Nowick, Steven M.}, biburl = {https://www.bibsonomy.org/bibtex/23390ee76580f497307022002cc521438/dblp}, ee = {https://doi.org/10.1109/43.329261}, interhash = {1e25fd35dc985752735a6d0fdf706683}, intrahash = {3390ee76580f497307022002cc521438}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 11, pages = {1309-1318}, timestamp = {2020-09-25T11:48:02.000+0200}, title = {A correctness criterion for asynchronous circuit validation and optimization.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad13.html#GopalakrishnanBMN94}, volume = 13, year = 1994 }