{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:35:08Z","timestamp":1763764508814,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,4,23]],"date-time":"2006-04-23T00:00:00Z","timestamp":1145750400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,4,23]]},"DOI":"10.1145\/1141277.1141704","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"1810-1815","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Modere"],"prefix":"10.1145","author":[{"given":"Mohammad Mahdi","family":"Jaghoori","sequence":"first","affiliation":[{"name":"Sharif Univ of Tech, Tehran, Iran"}]},{"given":"Ali","family":"Movaghar","sequence":"additional","affiliation":[{"name":"Sharif Univ of Tech, Tehran, Iran"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[{"name":"University of Tehran, Tehran, Iran"}]}],"member":"320","published-online":{"date-parts":[[2006,4,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Proc. REX Workshop","author":"Agha G.","year":"1990"},{"volume-title":"Technische Universiteite Eindhoven","year":"2001","author":"Bosnacki D.","key":"e_1_3_2_1_2_1"},{"volume-title":"MIT Press","year":"1999","author":"Clarke E. M.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625970"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"E. A. Emerson S. Jha and D. Peled . Combining partial order and symmetry reductions. In E. Brinksma editor TACAS '97 volume 1217 of LNCS pages 19 -- 34 . Springer 1997 . E. A. Emerson S. Jha and D. Peled. Combining partial order and symmetry reductions. In E. Brinksma editor TACAS '97 volume 1217 of LNCS pages 19--34. Springer 1997.","DOI":"10.1007\/BFb0035378"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An approach to the State-Explosion Problem PhD thesis 1995. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems: An approach to the State-Explosion Problem PhD thesis 1995.","DOI":"10.1007\/3-540-60761-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622876.1622895"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_9_1","first-page":"197","volume-title":"7th IFIP WG6.1 International Conference on Formal Description Techniques","author":"Holzmann G. J.","year":"1994"},{"key":"e_1_3_2_1_10_1","first-page":"23","volume-title":"Proc. Second SPIN Workshop","author":"Holzmann G. J.","year":"1996"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"T. Hune J. Romijn M. Stoelinga and F. W. Vaandrager. Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming (JLAP) 52-53:183--220 2002. T. Hune J. Romijn M. Stoelinga and F. W. Vaandrager. Linear parametric model checking of timed automata. Journal of Logic and Algebraic Programming (JLAP) 52-53:183--220 2002.","DOI":"10.1016\/S1567-8326(02)00037-1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625968"},{"volume-title":"Kluwer Academic","year":"1993","author":"McMillan K.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"NuSMV user manual. http:\/\/nusmv.irst.itc.it\/NuSMV\/userman\/index-v2.html. NuSMV user manual. http:\/\/nusmv.irst.itc.it\/NuSMV\/userman\/index-v2.html."},{"key":"e_1_3_2_1_15_1","unstructured":"Rebeca homepage. http:\/\/khorshid.ut.ac.ir\/~rebeca\/. Rebeca homepage. http:\/\/khorshid.ut.ac.ir\/~rebeca\/."},{"issue":"4","key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","article-title":"Modeling and verification of reactive systems using Rebeca","volume":"63","author":"Sirjani M.","year":"2004","journal-title":"Fundamamenta Informaticae"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/998666.998757"},{"key":"e_1_3_2_1_18_1","first-page":"322","volume-title":"LICS","author":"Vardi M. Y.","year":"1986"}],"event":{"name":"SAC06: The 2006 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Dijon France","acronym":"SAC06"},"container-title":["Proceedings of the 2006 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141277.1141704","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1141277.1141704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:28Z","timestamp":1750259188000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141277.1141704"}},"subtitle":["the model-checking engine of Rebeca"],"short-title":[],"issued":{"date-parts":[[2006,4,23]]},"references-count":18,"alternative-id":["10.1145\/1141277.1141704","10.1145\/1141277"],"URL":"https:\/\/doi.org\/10.1145\/1141277.1141704","relation":{},"subject":[],"published":{"date-parts":[[2006,4,23]]},"assertion":[{"value":"2006-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}