{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:38:54Z","timestamp":1754487534416},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631668"},{"type":"electronic","value":"9783540691952"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63166-6_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:14:10Z","timestamp":1330298050000},"page":"452-455","source":"Crossref","is-referenced-by-count":22,"title":["The verus tool: A quantitative approach to the formal verification of real-time systems"],"prefix":"10.1007","author":[{"given":"S\u00e9rgio","family":"Campos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"S. V. Campos. A quantitative approach to the formal verification of real-time systems. Ph.D. thesis, SCS, Carnegie Mellon University, 1996.","DOI":"10.1007\/3-540-63166-6_46"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"S. V. Campos. The priority inversion problem and real-time symbolic model checking. Technical Report CMU-CS-93-125, Carnegie Mellon University, 1993.","DOI":"10.21236\/ADA265408"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"S. V. Campos and O. Grumberg. Selective quantitative analysis and interval model checking: verifying different facets of a system. Computer Aided Verification, 1996.","DOI":"10.1007\/3-540-61474-5_74"},{"key":"46_CR4","doi-asserted-by":"crossref","unstructured":"S. Campos, E. Clarke, W. Marrero, M. Minea, and H. Hiraishi. Computing quantitative characteristics of finite-state real-time systems. IEEE Real-Time Systems Symposium, 1994.","DOI":"10.1109\/REAL.1994.342709"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"S. Campos, E. Clarke, W. Marrero and M. Minea. Verus: a tool for quantitative analysis of finite-state real-time systems. Languages,Compilers and Tools for Real-Time Systems, 1995","DOI":"10.1109\/REAL.1994.342709"},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"E. Clarke, O. Grumberg, and H. Hamaguchi. Another look at LTL model checking. Computer-Aided Verification, LNCS vol. 818. Springer-Verlag, 1994.","DOI":"10.21236\/ADA277568"},{"key":"46_CR7","unstructured":"E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Computer-Aided Verification, 1990."},{"key":"46_CR8","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic model checking \u2014 an approach to the state explosion problem. Ph.D. thesis, SCS, Carnegie Mellon University, 1992.","DOI":"10.1007\/978-1-4615-3190-6_3"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63166-6_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:48Z","timestamp":1605647808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63166-6_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631668","9783540691952"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63166-6_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}