{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:04Z","timestamp":1748071564971},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1998,5]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>A new notion, covering, generalising independence is introduced. It enables improved effects of partial-order reduction techniques when applied to real-time systems. Furthermore, we formulate a number of locally checkable conditions for covering that can be used as the basis for a practical algorithm. Correctness is proven with respect to a chosen discretisation method.<\/jats:p>","DOI":"10.1007\/s001650050028","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:30:30Z","timestamp":1030260630000},"page":"469-482","source":"Crossref","is-referenced-by-count":20,"title":["Partial-order Reduction Techniques for Real-time Model Checking"],"prefix":"10.1145","volume":"10","author":[{"given":"Dennis","family":"Dams","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, The Netherlands, , , , , , NL"}]},{"given":"Rob","family":"Gerth","sequence":"additional","affiliation":[{"name":"Strategic CAD Laboratories, Intel Micro Processor Products Group, Hillsboro, OR, USA, , , , , , US"}]},{"given":"Bart","family":"Knaack","sequence":"additional","affiliation":[{"name":"Lucent Technologies, Hilversum, The Netherlands, , , , , , NL"}]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, The Netherlands, , , , , , NL"}]}],"member":"320","reference":[{"key":"p_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","article-title":"Model-checking in dense real-time","volume":"104","author":"Alur R.","year":"1993","journal-title":"Information and Computation"},{"key":"p_2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Al","year":"1994","journal-title":"Journal of Theoretical Computer Science"},{"key":"p_3","first-page":"197","volume-title":"Automatic Verification Methods for Finite State Systems (CAV89), number 407 in LNCS","author":"Dil","year":"1989"},{"key":"p_4","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1109\/ISTCS.1995.377038","volume-title":"Third Israel Symposium on the Theory of Computing and Systems","author":"Gerth R.","year":"1995"},{"key":"p_5","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems. Number 1032 in LNCS","author":"God","year":"1996"},{"key":"p_6","volume-title":"Proceedings FORTE'94","author":"Ho","year":"1994"},{"key":"p_7","volume-title":"Second SPIN Workshop","author":"Holzmann G.","year":"1996"},{"key":"p_9","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, number 1135 in LNCS","author":"Pag","year":"1996"},{"key":"p_11","volume-title":"TACAS'96","author":"Tripakis S.","year":"1996"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650050028.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650050028\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650050028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:27:13Z","timestamp":1641482833000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650050028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["10.1007\/s001650050028"],"URL":"https:\/\/doi.org\/10.1007\/s001650050028","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}