%0 Conference Paper %1 conf/cav/AmlaEKN01 %A Amla, Nina %A Emerson, E. Allen %A Kurshan, Robert P. %A Namjoshi, Kedar S. %B CAV %D 2001 %E Berry, Gérard %E Comon, Hubert %E Finkel, Alain %I Springer %K dblp %P 387-390 %T Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. %U http://dblp.uni-trier.de/db/conf/cav/cav2001.html#AmlaEKN01 %V 2102 %@ 3-540-42345-1

@inproceedings{conf/cav/AmlaEKN01, added-at = {2017-05-25T00: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/2183842671a0d65b4ea601d9d967361e1/dblp}, booktitle = {CAV}, crossref = {conf/cav/2001}, editor = {Berry, Gérard and Comon, Hubert and Finkel, Alain}, ee = {https://doi.org/10.1007/3-540-44585-4_38}, interhash = {621fdb5db8fbf3bd6756d59a15516ce1}, intrahash = {183842671a0d65b4ea601d9d967361e1}, isbn = {3-540-42345-1}, keywords = {dblp}, pages = {387-390}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:16.000+0200}, title = {Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2001.html#AmlaEKN01}, volume = 2102, year = 2001 }