{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:13:01Z","timestamp":1725484381612},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45739-9_24","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:42:01Z","timestamp":1179283321000},"page":"417-432","source":"Crossref","is-referenced-by-count":7,"title":["Partial Order Path Technique for Checking Parallel Timed Automata"],"prefix":"10.1007","author":[{"given":"Jianhua","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"He","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"1Tao","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoliang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of ICALP\u201990","author":"R. Alur","year":"1990","unstructured":"R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Proc. of ICALP\u201990, LNCS 443, 1990."},{"key":"24_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/3-540-63166-6_34","volume-title":"Proceedings of the Ninth International Conference on Computer-aided Verification (CAV 1997)","author":"R. Alur","year":"1997","unstructured":"Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, and Sriram K. Rajamani. Partial-order reduction in symbolic state-space exploration. In Proceedings of the Ninth International Conference on Computer-aided Verification (CAV 1997), LNCS 1254, pages 340\u2013351. Springer-Verlag, 1997."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Bengt Jonsson, Johan Lilius, and Wang Yi. Partial Order Reductions for Timed Systems. In Proc. of the 9th International Conference on Concurrency Theory, September 1998.","DOI":"10.1007\/BFb0055643"},{"key":"24_CR4","series-title":"Lect Notes Comput Sci","volume-title":"DIMACS Workshop on Verification and Control of Hybrid Systems","author":"C. Daws","year":"1995","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool kronos. In DIMACS Workshop on Verification and Control of Hybrid Systems, LNCS 1066. Springer-Verlag, October 1995."},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-61648-9_49","volume-title":"Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"F. Pagani","year":"1996","unstructured":"F. Pagani. Partial orders and verification of real-time systems. In B. Jonsson and J. Parrow, editors, Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1135, pages 327\u2013346. Springer-Verlag, 1996."},{"key":"24_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1007\/3-540-63166-6_47","volume-title":"Proceedings of the 9th International Conference on Computer-Aided Verification. Haifa, Israel","author":"K. G. Larsen","year":"1997","unstructured":"Kim G Larsen and Paul Pettersson Wang Yi. UPPAAL: Status & Developments. In Orna Grumberg, editor, Proceedings of the 9th International Conference on Computer-Aided Verification. Haifa, Israel,, LNCS 1254, pages 456\u2013459. Springer-Verlag, June 1997."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger and P.-H. Ho. Hytech: The cornell hybrid technology tool. In Proc. of Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995. BRICS report series NS-95-2.","DOI":"10.1007\/3-540-60472-3_14"},{"key":"24_CR8","unstructured":"Hans van der Schoot. Partial-order verification in spin can be more efficient, http:\/\/citeseer.nj.nec.com\/vanderschoot97partialorder.html ."},{"key":"24_CR9","unstructured":"T.G. Rokicki. Representing and Modeling Circuits, 1993. PhD thesis, Standford University."},{"issue":"6","key":"24_CR10","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1109\/43.766727","volume":"18","author":"C.J. Myers","year":"1999","unstructured":"C.J. Myers, T.G. Rokicki, and T.H.Y. Meng. POSEET timing and its application to the synthesis and verification of gate-level timed circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits 18(6):769\u2013786, June 1999.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"W. Belluomini and C. J. Myers. Timed state space exploration using POSETs. IEEE Transactions on Computer-Aided Design of Integrated Circuits, 19(5), May 2000.","DOI":"10.1109\/43.845076"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Sergio Yovine. Kronos: A verification Tool for Real-Time Systems. Springer International Journal of Software Toolls for Technology Transfer 1(1\/2), Oct 1997.","DOI":"10.1007\/s100090050009"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:37Z","timestamp":1605647437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540441656"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_24","relation":{},"subject":[]}}