%0 Conference Paper %1 conf/cav/AlurIKY92 %A Alur, Rajeev %A Itai, Alon %A Kurshan, Robert P. %A Yannakakis, Mihalis %B CAV %D 1992 %E von Bochmann, Gregor %E Probst, David K. %I Springer %K dblp %P 137-150 %T Timing Verification by Successive Approximation. %U http://dblp.uni-trier.de/db/conf/cav/cav1992.html#AlurIKY92 %V 663 %@ 3-540-56496-9

@inproceedings{conf/cav/AlurIKY92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Alur, Rajeev and Itai, Alon and Kurshan, Robert P. and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2785489662b189d9373f0e81242ae435f/dblp}, booktitle = {CAV}, crossref = {conf/cav/1992}, editor = {von Bochmann, Gregor and Probst, David K.}, ee = {https://doi.org/10.1007/3-540-56496-9_12}, interhash = {943bd83d84a4f1599433865545f09040}, intrahash = {785489662b189d9373f0e81242ae435f}, isbn = {3-540-56496-9}, keywords = {dblp}, pages = {137-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:38.000+0200}, title = {Timing Verification by Successive Approximation.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav1992.html#AlurIKY92}, volume = 663, year = 1992 }