{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:30:33Z","timestamp":1742981433720,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344544"},{"type":"electronic","value":"9783540344551"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11759744_11","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T12:27:50Z","timestamp":1149251270000},"page":"152-169","source":"Crossref","is-referenced-by-count":0,"title":["Time Unbalanced Partial Order"],"prefix":"10.1007","author":[{"given":"Doron","family":"Peled","sequence":"first","affiliation":[]},{"given":"Hongyang","family":"Qu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R.: Timed Automata, NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems","DOI":"10.1007\/3-540-48683-6_3"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Vardi, M.Y.: Parametric Real-time Reasoning. In: Proceedings of the 25th ACM Symposium on Theory of Computing, pp. 592\u2013601 (1993)","DOI":"10.1145\/167088.167242"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Peled, D., Qu, H., Tripakis, S.: Automatic Generation of Path Conditions for Concurrent Timed Systems. In: 1st International Symposium on Leveraging Applications of Formal Methods (2004)","DOI":"10.1007\/11589976_2"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-49059-0_28","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"E.L. Gunter","year":"1999","unstructured":"Gunter, E.L., Peled, D.: Path Exploration Tool. In: Cleaveland, W.R. (ed.) ETAPS 1999 and TACAS 1999. LNCS, vol.\u00a01579, pp. 405\u2013419. Springer, Heidelberg (1999)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S1567-8326(02)00037-1","volume":"52-53","author":"T. Hune","year":"2002","unstructured":"Hune, T., Romijn, J.M.T., Stoelinga, M.I.A., Vaandrager, F.W.: Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming\u00a052-53, 183\u2013220 (2002)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"7","key":"11_CR7","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.entcs.2004.01.034","volume":"113","author":"D. Peled","year":"2005","unstructured":"Peled, D., Qu, H.: Enforcing concurrent temporal behaviors. Electronic Notes in Theoretical Computer Science\u00a0113, 65\u201383 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-65193-4_20","volume-title":"Lectures on Embedded Systems","author":"S. Yovine","year":"1998","unstructured":"Yovine, S.: Model checking timed automata. In: Rozenberg, G. (ed.) EEF School 1996. LNCS, vol.\u00a01494, pp. 114\u2013152. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/11759744_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T16:12:15Z","timestamp":1683475935000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/10.1007\/11759744_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":9,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/11759744_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}