{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:25:44Z","timestamp":1754483144096,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:54:19Z","timestamp":1330257259000},"page":"321-332","source":"Crossref","is-referenced-by-count":16,"title":["Efficient verification of parallel real-time systems"],"prefix":"10.1007","author":[{"given":"Tomohiro","family":"Yoneda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsufumi","family":"Shibayama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd-Holger","family":"Schlingloff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. Proc. 5th IEEE LICS, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Henzinger. A really temporal logic. Proc. 30th FOCS, 1989.","DOI":"10.1109\/SFCS.1989.63473"},{"issue":"3","key":"27_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu, M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Soft. Eng., 17(3):259\u2013273, 1991.","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"2","key":"27_CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Using partial orders to improve automatic verification methods. Proc. 1st CAV, 1990.","DOI":"10.1090\/dimacs\/003\/21"},{"issue":"8","key":"27_CR6","doi-asserted-by":"crossref","first-page":"961","DOI":"10.1109\/TC.1987.5009519","volume":"C-36","author":"F. Jahanian","year":"1987","unstructured":"F. Jahanian and A. K. Mok. A graph-theoretic approach for timing analysis and its implementation. IEEE Trans. Comput., C-36(8):961\u2013975, 1987.","journal-title":"IEEE Trans. Comput."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"S. Katz and D. Peled. Defining conditional independence using collapses. Semantics for concurrency, BCS-FACS Workshop, Springer, 1990.","DOI":"10.1007\/978-1-4471-3860-0_16"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specification. Proc. 12th POPL, 1985.","DOI":"10.1145\/318593.318622"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"P. Merlin and D. J. Faber. Recoverability of communication protocols. IEEE Trans. on Communication, COM-24(9), 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"27_CR10","unstructured":"J-L. Roux and B. Berthomieu. Verification of a local area network protocol with Tina, a software package for time Petri nets. 7th European Workshop on Application and Theory of Petri Nets, pages 183\u2013205, 1986."},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"A. Valmari. A stubborn attack on state explosion. Proc. 1st CAV, 1990.","DOI":"10.1007\/BF00709154"},{"issue":"12","key":"27_CR12","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1002\/scj.4690221204","volume":"22","author":"T. Yoneda","year":"1991","unstructured":"T. Yoneda, Y. Tohma, Y. Kondo. Acceleration of timing verification method based on time Petri nets. Syst. and Computers in Japan, 22(12):37\u201352, 1991.","journal-title":"Syst. and Computers in Japan"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:57:28Z","timestamp":1742594248000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}