%0 Book Section %1 books/daglib/p/HaaseOW10 %A Haase, Christoph %A Ouaknine, Joël %A Worrell, James %B Reflections on the Work of C. A. R. Hoare %D 2010 %E Roscoe, A. W. %E Jones, Clifford B. %E Wood, Kenneth R. %I Springer %K %P 283-300 %T On Process-Algebraic Extensions of Metric Temporal Logic. %U http://dblp.uni-trier.de/db/books/collections/RJW2010.html#HaaseOW10 %@ 978-1-84882-911-4

@incollection{books/daglib/p/HaaseOW10, added-at = {2023-12-13T01:16:00.000+0100}, author = {Haase, Christoph and Ouaknine, Joël and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/2a41ba8c150342784c0418496cea8819b/admin}, booktitle = {Reflections on the Work of C. A. R. Hoare}, crossref = {books/daglib/0025134}, editor = {Roscoe, A. W. and Jones, Clifford B. and Wood, Kenneth R.}, ee = {https://doi.org/10.1007/978-1-84882-912-1_13}, interhash = {6f178cba2ab0bf9c086c775c56f97e6b}, intrahash = {a41ba8c150342784c0418496cea8819b}, isbn = {978-1-84882-911-4}, keywords = {}, pages = {283-300}, publisher = {Springer}, timestamp = {2023-12-13T01:16:00.000+0100}, title = {On Process-Algebraic Extensions of Metric Temporal Logic.}, url = {http://dblp.uni-trier.de/db/books/collections/RJW2010.html#HaaseOW10}, year = 2010 }