{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:20:07Z","timestamp":1778300407797,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540616481","type":"print"},{"value":"9783540706533","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:06Z","timestamp":1330294206000},"page":"327-346","source":"Crossref","is-referenced-by-count":13,"title":["Partial orders and verification of real-time systems"],"prefix":"10.1007","author":[{"given":"Florence","family":"Pagani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183\u2013235, April 1994.","journal-title":"Theoretical Computer Science"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. ACM83, pages 117\u2013126, 1983.","DOI":"10.1145\/567067.567080"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"D. Dill. Timing assumptions and verifications of finite-state concurrent systems. In J. Sifakis, editor, CAV89: Automatic Verification Methods for Finite-state Systems, pages 197\u2013212. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems. PhD thesis, Universit\u00e9 de Li\u00e8ge, 1995.","DOI":"10.1007\/3-540-60761-7"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. Formal methods in system design, pages 149\u2013164, 1993.","DOI":"10.1007\/BF01383879"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and computation, pages 193\u2013244, 1994.","DOI":"10.1006\/inco.1994.1045"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. LNCS 354: Linear time, branching time and partial order in logics and models for concurrency, pages 285\u2013363, May\/June 1988.","DOI":"10.1007\/BFb0013025"},{"key":"19_CR8","unstructured":"A. Olivero. Mod\u00e9lisation et analyse des syst\u00e8mes temporis\u00e9s et hybrides. PhD thesis, Institut National Polytechnique de Grenoble, September 1994."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"T. Yoneda, A. Shibayama, B-H. Schlingloff, and E. Clarke. Efficient verification of parallel real-time systems. In LNCS 697: CAV'93, pages 321\u2013332, 1993.","DOI":"10.1007\/3-540-56922-7_27"},{"key":"19_CR10","unstructured":"S. Yovine. M\u00e9thodes et outils pour la v\u00e9rification symbolique de syst\u00e8mes temporis\u00e9s. PhD thesis, Institut National Polytechnique de Grenoble, 1993."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:04Z","timestamp":1605647344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}