%0 Conference Paper %1 conf/fmcad/AmlaEKN00 %A Amla, Nina %A Emerson, E. Allen %A Kurshan, Robert P. %A Namjoshi, Kedar S. %B FMCAD %D 2000 %E Jr., Warren A. Hunt %E Johnson, Steven D. %I Springer %K dblp %P 283-298 %T Model Checking Synchronous Timing Diagrams. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2000.html#AmlaEKN00 %V 1954 %@ 3-540-41219-0

@inproceedings{conf/fmcad/AmlaEKN00, added-at = {2017-05-17T00:00:00.000+0200}, author = {Amla, Nina and Emerson, E. Allen and Kurshan, Robert P. and Namjoshi, Kedar S.}, biburl = {https://www.bibsonomy.org/bibtex/25906b8d30dbb44e5af23dcf2f22e6a72/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2000}, editor = {Jr., Warren A. Hunt and Johnson, Steven D.}, ee = {https://doi.org/10.1007/3-540-40922-X_18}, interhash = {b40c36f81326cfdc80373e2e397b4b2f}, intrahash = {5906b8d30dbb44e5af23dcf2f22e6a72}, isbn = {3-540-41219-0}, keywords = {dblp}, pages = {283-298}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:28.000+0200}, title = {Model Checking Synchronous Timing Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2000.html#AmlaEKN00}, volume = 1954, year = 2000 }