{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T04:59:29Z","timestamp":1773723569464,"version":"3.50.1"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,12,18]],"date-time":"2009-12-18T00:00:00Z","timestamp":1261094400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s00236-009-0111-x","type":"journal-article","created":{"date-parts":[[2009,12,17]],"date-time":"2009-12-17T05:07:38Z","timestamp":1261026458000},"page":"33-66","source":"Crossref","is-referenced-by-count":29,"title":["Symmetry and partial order reduction techniques in model checking Rebeca"],"prefix":"10.1007","volume":"47","author":[{"given":"Mohammad Mahdi","family":"Jaghoori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Movaghar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,18]]},"reference":[{"key":"111_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Jonsson, B., Kindahl, M., Peled, D.: A general approach to partial order reductions in symbolic verification (extended abstract). In: Hu, A.J., Vardi, M.Y. (eds.) [37], pp. 379\u2013390 (1998)","DOI":"10.1007\/BFb0028760"},{"key":"111_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.: The structure and semantics of actor languages. In: Proceedings of the REX Workshop, pp. 1\u201359 (1990)","DOI":"10.1007\/BFb0019439"},{"key":"111_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Brayton, R.K., Henzinger, T.A., Qadeer, S., Rajamani, S.K. (1997) Partial-order reduction in symbolic state space exploration. In: Grumberg, O. (ed.) Proceedings of Computer Aided Verification, 9th International Conference, CAV \u201997, Haifa, Israel, June 22\u201325, LNCS, vol. 1254, pp. 340\u2013351. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63166-6_34"},{"key":"111_CR4","doi-asserted-by":"crossref","unstructured":"Behjati, R., Sabouri, H., Razavi, N., Sirjani, M.: An effective approach for model checking SystemC designs. In: Proceedings of International Conference on Application of Concurrency to System Design (ACSD\u201908), pp. 56\u201361 (2008)","DOI":"10.1109\/ACSD.2008.4574596"},{"key":"111_CR5","doi-asserted-by":"crossref","unstructured":"Bosnacki, D.: A light-weight algorithm for model checking with symmetry reduction and weak fairness. In: Ball, T., Rajamani, S.K. (eds.) Proceedings of Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9\u201310, LNCS, vol. 2648, pp. 89\u2013103. Springer, Berlin (2003)","DOI":"10.1007\/3-540-44829-2_6"},{"key":"111_CR6","doi-asserted-by":"crossref","unstructured":"Bosnacki, D., Dams, D., Holenderski, L.: A heuristic for symmetry reductions with scalarsets. In: Proceedings of the International Symposium of Formal Methods Europe (FM\u201901), Lecture Notes in Computer Science, vol. 2021, pp. 518\u2013533. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45251-6_30"},{"issue":"1","key":"111_CR7","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/s100090200074","volume":"4","author":"D. Bosnacki","year":"2002","unstructured":"Bosnacki D., Dams D., Holenderski L.: Symmetric SPIN. Int. J. Softw. Tools Technol. Transf. (STTT) 4(1), 92\u2013106 (2002)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"111_CR8","doi-asserted-by":"crossref","unstructured":"Bosnacki, D., Donaldson, A.F., Leuschel, M., Massart, T.: Efficient approximate verification of promela models via symmetry markers. In: Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA\u201907), Lecture Notes in Computer Science, vol. 4762, pp. 300\u2013315. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75596-8_22"},{"key":"111_CR9","doi-asserted-by":"crossref","unstructured":"Bosnacki, D., Edelkamp, S. (eds.): In: Proceedings of Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1\u20133, LNCS, vol. 4595. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73370-6"},{"key":"111_CR10","doi-asserted-by":"crossref","unstructured":"Chang, P.H., Agha, G.: Supporting reconfigurable object distribution for customized web applications. In: The 22nd Annual ACM Symposium on Applied Computing (SAC), pp. 1286\u20131292 (2007)","DOI":"10.1145\/1244002.1244280"},{"key":"111_CR11","doi-asserted-by":"crossref","unstructured":"Chang, P.H., Agha, G.: Towards context-aware web applications. In: 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), pp. 239\u2013252 (2007)","DOI":"10.1007\/978-3-540-72883-2_18"},{"key":"111_CR12","doi-asserted-by":"crossref","unstructured":"Cheong, E., Lee, E.A., Zhao, Y.: Viptos: a graphical development and simulation environment for tinyos-based wireless sensor networks. In: Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, pp. 302\u2013302 (2005)","DOI":"10.1145\/1098918.1098967"},{"key":"111_CR13","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Jha, S., Sistla, A.P.: Symmetry reductions in model checking. In: Hu, A.J., Vardi, M.Y. (eds.) [37], pp. 147\u2013158 (1986)","DOI":"10.1007\/BFb0028741"},{"key":"111_CR14","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke E.M., Grumberg O., Peled D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"1\/2","key":"111_CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"E.M. Clarke","year":"1996","unstructured":"Clarke E.M., Jha S., Enders R., Filkorn T.: Exploiting symmetry in temporal logic model checking. Formal Methods Syst. Des. 9(1\/2), 77\u2013104 (1996)","journal-title":"Formal Methods Syst. Des."},{"key":"111_CR16","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Kurshan, R.P. (eds.): In: Proceedings of Computer Aided Verification, 2nd International Workshop, CAV \u201990, New Brunswick, NJ, USA, June 18\u201321, LNCS, vol. 531. Springer, Berlin (1990)","DOI":"10.1007\/BFb0023712"},{"key":"111_CR17","doi-asserted-by":"crossref","unstructured":"Donaldson, A.F., Miller, A.: Automatic symmetry detection for model checking using computational group theory. In: Proceedings of the International Symposium of Formal Methods Europe (FM\u201905), Lecture Notes in Computer Science, vol. 3582, pp. 481\u2013496. Springer, Berlin (2005)","DOI":"10.1007\/11526841_32"},{"key":"111_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/j.entcs.2007.05.029","volume":"185","author":"A.F. Donaldson","year":"2007","unstructured":"Donaldson A.F., Miller A.: Extending symmetry reduction techniques to a realistic model of computation. Electron. Notes Theor. Comput. Sci. 185, 63\u201376 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"6","key":"111_CR19","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.entcs.2005.04.010","volume":"128","author":"A.F. Donaldson","year":"2005","unstructured":"Donaldson A.F., Miller A., Calder M.: Finding symmetry in models of concurrent systems by static channel diagram analysis. Electron. Notes Theor. Comput. Sci. 128(6), 161\u2013177 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"111_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2005.09.007","volume":"139","author":"A.F. Donaldson","year":"2005","unstructured":"Donaldson A.F., Miller A., Calder M.: Spin-to-Grape: A tool for analysing symmetry in Promela models. Electron. Notes Theor. Comput. Sci. 139(1), 3\u201323 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"111_CR21","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00625970","volume":"9","author":"E. Emerson","year":"1996","unstructured":"Emerson E., Sistla A.: Symmetry and model checking. Formal Methods Syst. Des. 9(1\u20132), 105\u2013131 (1996)","journal-title":"Formal Methods Syst. Des."},{"key":"111_CR22","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Jha, S., Peled, D.: Combining partial order and symmetry reductions. In: Brinksma, E. (ed.) Proceedings of Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS \u201997, Enschede, The Netherlands, April 2\u20134, LNCS, vol. 1217, pp. 19\u201334. Springer, Berlin (1997)","DOI":"10.1007\/BFb0035378"},{"key":"111_CR23","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Sistla, A.P.: Utilizing symmetry when model checking under fairness assumptions: An automata-theoretic approach. In: Wolper, P. (ed.) Proceedings of Computer Aided Verification, 7th International Conference, Liege, Belgium, July, 3\u20135, LNCS, vol. 939, pp. 309\u2013324. Springer, Berlin (1995)","DOI":"10.1007\/3-540-60045-0_59"},{"key":"111_CR24","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Wahl, T.: On combining symmetry reduction and symbolic representation for efficient model checking. In: Geist, D., Tronci, E. (eds.) Proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME \u201903, LNCS, vol. 2860, pp. 216\u2013230. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-39724-3_20"},{"key":"111_CR25","doi-asserted-by":"crossref","unstructured":"Evangelista, S., Pajault, C.: Some solutions to the ignoring problem. In: Bosnacki, D., Edelkamp, S. (eds.) [9], pp. 76\u201394 (2007)","DOI":"10.1007\/978-3-540-73370-6_7"},{"key":"111_CR26","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 110\u2013121. ACM Press, New York (2005)","DOI":"10.1145\/1040305.1040315"},{"key":"111_CR27","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Using partial orders to improve automatic verification methods. In: Clarke, E.M., Kurshan, R.P. (eds.) [16], pp. 176\u2013185 (1996)","DOI":"10.1007\/BFb0023731"},{"key":"111_CR28","doi-asserted-by":"crossref","unstructured":"Gueta, G., Flanagan, C., Yahav, E., Sagiv, M.: Cartesian partial-order reduction. In: Bosnacki, D., Edelkamp, S. (eds.) [9], pp. 95\u2013112 (2009)","DOI":"10.1007\/978-3-540-73370-6_8"},{"key":"111_CR29","doi-asserted-by":"crossref","unstructured":"Hendriks, M., Behrmann, G., Larsen, K.G., Niebert, P., Vaandrager, F.W.: Adding symmetry reduction to UPPAAL. In: Larsen, K.G., Niebert, P. (eds.) Proceedings of Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS \u201903, Marseille, France, September 6\u20137, LNCS, vol. 2791, pp. 46\u201359. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-40903-8_5"},{"key":"111_CR30","unstructured":"Herstein, I.: Topics in Algebra. Xerox (1964)"},{"key":"111_CR31","unstructured":"Hewitt, C.: Procedural embedding of knowledge in planner. In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, pp. 167\u2013184 (1971)"},{"key":"111_CR32","doi-asserted-by":"crossref","unstructured":"Hewitt, C.: What is commitment? physical, organizational, and social (revised). In: Proceedings of Coordination, Organizations, Institutions, and Norms in Agent Systems II, Lecture Notes in Computer Science, pp. 293\u2013307. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74459-7_19"},{"key":"111_CR33","doi-asserted-by":"crossref","unstructured":"Hojjat, H., Nokhost, H., Sirjani, M.: Formal verification of the IEEE 802.1D spanning tree protocol using extended Rebeca. In: Proceedings of the First International Conference on Fundamentals of Software Engineering (FSEN\u201905), ENTCS, vol. 159, pp. 139\u2013159. Elsevier, Amsterdam (2006)","DOI":"10.1016\/j.entcs.2005.12.066"},{"issue":"5","key":"111_CR34","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"111_CR35","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Peled, D.: An improvement in formal verification. In: Hogrefe, D. Leue, S. (eds.) Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, vol. 6, pp. 197\u2013211. Chapman & Hall, London (1995)","DOI":"10.1007\/978-0-387-34878-0_13"},{"key":"111_CR36","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Peled, D., Yannakakis, M.: On nested depth first search. In: Proceedings of the Second SPIN Workshop, pp. 23\u201332. American Mathematical Society, Providence, RI (1996)","DOI":"10.1090\/dimacs\/032\/03"},{"key":"111_CR37","doi-asserted-by":"crossref","unstructured":"Hu, A.J., Vardi, M.Y. (eds.): In: Proceedings of Computer Aided Verification, 10th International Conference, CAV \u201998, Vancouver, BC, Canada, June 28\u2013July 2, LNCS, vol. 1427. Springer, Berlin (1998)","DOI":"10.1007\/BFb0028725"},{"key":"111_CR38","doi-asserted-by":"crossref","unstructured":"Iosif, R.: Symmetry reduction criteria for software model checking. In: Bosnacki, D. Leue S. (eds.) Proceedings of Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11\u201313, LNCS, vol. 2318, pp. 22\u201341. Springer, Berlin (2002)","DOI":"10.1007\/3-540-46017-9_5"},{"issue":"1\u20132","key":"111_CR39","first-page":"41","volume":"9","author":"C. Ip","year":"1996","unstructured":"Ip C., Dill D.: Better verification through symmetry. Formal Methods Syst. Des. 9(1\u20132), 41\u201375 (1996)","journal-title":"Formal Methods Syst. Des."},{"key":"111_CR40","unstructured":"Ip, C.N.: State reduction methods for automatic formal verification. Ph.D. Thesis, Department of Computer Science, Stanford University (1996)"},{"key":"111_CR41","doi-asserted-by":"crossref","unstructured":"Jaghoori, M.M., Movaghar, A., Sirjani, M.: Modere: the model-checking engine of Rebeca. In: Haddad, H. (ed.) Proceedings of ACM Symposium on Applied Computing (SAC \u201906), Dijon, France, April 23\u201327, pp. 1810\u20131815. ACM, New york (2006)","DOI":"10.1145\/1141277.1141704"},{"key":"111_CR42","doi-asserted-by":"crossref","unstructured":"Jaghoori, M.M., Sirjani, M., Mousavi, M.R., Movaghar, A.: Efficient symmetry reduction for an actor-based model. In: Chakraborty, G. (ed.) Proceedings of Distributed Computing and Internet Technology, Second International Conference, ICDCIT \u201905, Bhubaneswar, India, December 22\u201324, LNCS, vol. 3816, pp. 494\u2013507. Springer, Berlin (2005)","DOI":"10.1007\/11604655_56"},{"key":"111_CR43","doi-asserted-by":"crossref","unstructured":"Kakoee, M.R., Shojaei, H., Ghasemzadeh, H., Sirjani, M., Navabi, Z.: A new approach for design and verification of transaction level models. In: Proceedings of IEEE International Symposium on Circuit and Sytems (ISCAS \u201907), pp. 3760\u20133763 (2007)","DOI":"10.1109\/ISCAS.2007.378779"},{"key":"111_CR44","doi-asserted-by":"crossref","unstructured":"Kurshan, R.P., Levin, V., Minea, M., Peled, D., Yenig\u00fcn, H.: Static partial order reduction. In: Steffen, B. (ed.) Proceedings of Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS \u201998, Lisbon, Portugal, March 28\u2013April 4, LNCS, vol. 1384, pp. 345\u2013357. Springer, Berlin (1998)","DOI":"10.1007\/BFb0054182"},{"issue":"3","key":"111_CR45","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"E.A. Lee","year":"2003","unstructured":"Lee E.A., Neuendorffer S., Wirthlin M.J.: Actor-oriented design of embedded hardware and software systems. J. Circuits, Syst., Comput. 12(3), 231\u2013260 (2003)","journal-title":"J. Circuits, Syst., Comput."},{"key":"111_CR46","unstructured":"Leuschel, M., Massart, T.: Efficient approximate verification of B via symmetry markers. In: Proceedings of the International Symmetry Conference, Edinburgh, UK, pp. 71v\u201385 (2007)"},{"key":"111_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"McMillan K.: Symbolic Model Checking. Kluwer Academic, Boston (1993)"},{"key":"111_CR48","doi-asserted-by":"crossref","unstructured":"Miller, A., Donaldson, A.F., Calder, M.: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3), Article no. 8 (2006)","DOI":"10.1145\/1132960.1132962"},{"issue":"3","key":"111_CR49","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/A:1014728912264","volume":"20","author":"R. Nalumasu","year":"2002","unstructured":"Nalumasu R., Gopalakrishnan G.: An efficient partial order reduction algorithm with an alternate proviso implementation. Formal Methods Syst. Des. 20(3), 231\u2013247 (2002)","journal-title":"Formal Methods Syst. Des."},{"key":"111_CR50","doi-asserted-by":"crossref","unstructured":"Peled, D.: All from one, one for all: on model checking using representatives. In: Courcoubetis, C. (ed.) CAV, LNCS, vol. 697, pp. 409\u2013423. Springer, Berlin (1993)","DOI":"10.1007\/3-540-56922-7_34"},{"key":"111_CR51","unstructured":"Saboori, H., Sirjani, M.: Slicing-based reductions for Rebeca. In: Proceedings of FACS\u201908, ENTCS, pp. 57\u201371. Elsevier, Amsterdam (2008). To be published"},{"key":"111_CR52","doi-asserted-by":"crossref","unstructured":"Sa\u00efdi, H.: Discovering symmetries. In: 11th International Workshop on Formal Methods: Applications and Technology (FMICS\/PDMC\u201906), LNCS, vol. 4346, pp. 67\u201383. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-70952-7_5"},{"key":"111_CR53","unstructured":"Schneider, S.: The B-Method: An Introduction. Palgrave (2001)"},{"key":"111_CR54","unstructured":"Shahriari, H.R., Makarem, M.S., Sirjani, M., Jalili, R., Movaghar, A.: Modeling and verification of complex network attacks using an actor-based language. In: Proceedings of the 11th Annual International CSI Computer Conference, pp. 152\u2013158 (2006)"},{"issue":"4","key":"111_CR55","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M. Sirjani","year":"2004","unstructured":"Sirjani M., Movaghar A., Shali A., de Boer F.S.: Modeling and verification of reactive systems using Rebeca. Fundamamenta Informaticae 63(4), 385\u2013410 (2004)","journal-title":"Fundamamenta Informaticae"},{"issue":"6","key":"111_CR56","first-page":"1054","volume":"11","author":"M. Sirjani","year":"2005","unstructured":"Sirjani M., Movaghar A., Shali A., de Boer F.S.: Model checking, automated abstraction and compositional verification of Rebeca models. J Univers. Comput. Sci. (JUCS) 11(6), 1054\u20131082 (2005)","journal-title":"J Univers. Comput. Sci. (JUCS)"},{"issue":"4","key":"111_CR57","first-page":"1052","volume":"3","author":"M. Sirjani","year":"2004","unstructured":"Sirjani M., SeyedRazi H., Movaghar A., Jaghoori M.M., Forghanizadeh S., Mojdeh M.: Model checking CSMA\/CD protocol using an actor-based language. WSEAS Trans. Circuits Syst. 3(4), 1052\u20131057 (2004)","journal-title":"WSEAS Trans. Circuits Syst."},{"key":"111_CR58","doi-asserted-by":"crossref","unstructured":"Sirjani, M., Shali, A., Jaghoori, M.M., Iravanchi, H., Movaghar, A.: A front-end tool for automated abstraction and modular verification of actor-based models. In: Proceedings of International Conference on Application of Concurrency to System Design (ACSD \u201904), pp. 145\u2013150. IEEE Computer Society, Silver Spring (2004)","DOI":"10.1109\/CSD.2004.1309125"},{"issue":"2","key":"111_CR59","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/350887.350891","volume":"9","author":"A.P. Sistla","year":"2000","unstructured":"Sistla A.P., Gyuris V., Emerson E.A.: SMC: a symmetry-based model checker for verification of safety and liveness properties. ACM Trans. Softw. Eng. Methodol. 9(2), 133\u2013166 (2000)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"111_CR60","doi-asserted-by":"crossref","unstructured":"Valmari, A.: A stubborn attack on state explosion. In: Clarke, E.M., Kurshan R.P. (eds.) [16], pp. 156\u2013165 (1996)","DOI":"10.1007\/BFb0023729"},{"key":"111_CR61","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automata-theoretic model checking revisited. In: Proceedings of the 8th VMCAI, LNAI, vol. 4349, pp. 137\u2013150 (2007)","DOI":"10.1007\/978-3-540-69738-1_10"},{"key":"111_CR62","unstructured":"Vardi, M.Y., Wolper, P.: An automata theoretic approach to automatic program verification. In: Kozen, D. (ed.) Proceedings of Symposium on Logic in Computer Science, pp. 322\u2013331. IEEE Computer Society, Silver Spring (1986)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-009-0111-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-009-0111-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-009-0111-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T21:43:42Z","timestamp":1739483022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-009-0111-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,18]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["111"],"URL":"https:\/\/doi.org\/10.1007\/s00236-009-0111-x","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,18]]}}}