%0 Book Section %1 emersoe:90 %A Emerson, E. A. %A Mok, A. K. %A Sistla, A. P. %A Srinivasan, J. %B CAV 90: Computer-aided Verification %C New York %D 1990 %E Clarke, E. M. %E Kurshan, R. P. %I Springer Verlag %K no-tag %P 136--145 %T Quantitative Temporal Reasoning %V 531

@incollection{emersoe:90, added-at = {2007-07-06T10:33:42.000+0200}, address = {New York}, author = {Emerson, E. A. and Mok, A. K. and Sistla, A. P. and Srinivasan, J.}, biburl = {https://www.bibsonomy.org/bibtex/2ae70b10569d89123d1653e89ba116324/schaal}, booktitle = {CAV 90: Computer-aided Verification}, citeulike-article-id = {1431040}, editor = {Clarke, E. M. and Kurshan, R. P.}, interhash = {0cff5f96e3cc4bdaf5d4887dd75cc267}, intrahash = {ae70b10569d89123d1653e89ba116324}, keywords = {no-tag}, pages = {136--145}, priority = {2}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2007-07-06T11:06:58.000+0200}, title = {Quantitative Temporal Reasoning}, volume = 531, year = 1990 }