%0 Journal Article %1 journals/fmsd/YenICW98 %A Yen, Ti-Yen %A Ishii, Alex %A Casavant, Albert E. %A Wolf, Wayne H. %D 1998 %J Formal Methods Syst. Des. %K dblp %N 3 %P 241-265 %T Efficient Algorithms for Interface Timing Verification. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd12.html#YenICW98 %V 12

@article{journals/fmsd/YenICW98, added-at = {2020-03-13T00:00:00.000+0100}, author = {Yen, Ti-Yen and Ishii, Alex and Casavant, Albert E. and Wolf, Wayne H.}, biburl = {https://www.bibsonomy.org/bibtex/21fa64fa544c6ed65532fb836f2dff044/dblp}, ee = {https://doi.org/10.1023/A:1008680300467}, interhash = {f4e0b4d3cac58169b498da8eb5ed04dd}, intrahash = {1fa64fa544c6ed65532fb836f2dff044}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {241-265}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {Efficient Algorithms for Interface Timing Verification.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd12.html#YenICW98}, volume = 12, year = 1998 }