{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:23:52Z","timestamp":1725711832784},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357367"},{"type":"electronic","value":"9783642357374"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35737-4_9","type":"book-chapter","created":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T20:12:22Z","timestamp":1357762342000},"page":"149-164","source":"Crossref","is-referenced-by-count":0,"title":["About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Letichevsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olexander","family":"Letychevskyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Peschanenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Symbolic modeling, http:\/\/en.wikipedia.org\/wiki\/Model_checking"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Information and Control\u00a060, 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"9_CR3","first-page":"3","volume":"4","author":"A. Letichevsky","year":"2005","unstructured":"Letichevsky, A., Kapitonova, J., Volkov, V., Letichevsky Jr., A., Baranov, S., Kotlyarov, V., Weigert, T.: System Specification with Basic Protocols. Cybernetics and System Analysis\u00a04, 3\u201321 (2005)","journal-title":"Cybernetics and System Analysis"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/FI-2010-276","volume":"101","author":"A. Lomuscio","year":"2010","unstructured":"Lomuscio, A., Penczek, W., Qu, H.: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Inf.\u00a0101, 71\u201390 (2010)","journal-title":"Fundam. Inf."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF00625968","volume":"9","author":"C.N. Ip","year":"1996","unstructured":"Ip, C.N., Dill, D.L.: Better verification through symmetry. Methods Syst. Des.\u00a09, 41\u201375 (1996)","journal-title":"Methods Syst. Des."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst.\u00a016, 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-78163-9_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"V. D\u2019silva","year":"2008","unstructured":"D\u2019silva, V., Purandare, M., Kroening, D.: Approximation Refinement for Interpolation-Based Model Checking. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol.\u00a04905, pp. 68\u201382. Springer, Heidelberg (2008)"},{"key":"9_CR8","unstructured":"APS & IMS Systems, http:\/\/apsystem.org.ua"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-540-73449-9_13","volume-title":"Term Rewriting and Applications","author":"S. Escobar","year":"2007","unstructured":"Escobar, S., Meseguer, J.: Symbolic Model Checking of Infinite-State Systems Using Narrowing. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 153\u2013168. Springer, Heidelberg (2007)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1007\/978-3-540-71209-1_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Herbreteau","year":"2007","unstructured":"Herbreteau, F., Sutre, G., Tran, T.Q.: Unfolding Concurrent Well-Structured Transition Systems. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 706\u2013720. Springer, Heidelberg (2007)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-60045-0_50","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"1995","unstructured":"McMillan, K.L.: Trace Theoretic Verification of Asynchronous Circuits Using Unfoldings. In: Wolper, P. (ed.) CAV 1995. LNCS, vol.\u00a0939, pp. 180\u2013195. Springer, Heidelberg (1995)"},{"key":"9_CR12","volume-title":"Unfoldings - A Partial-Order Approach to Model Checking","author":"J. Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings - A Partial-Order Approach to Model Checking. Springer, Heidelberg (2008)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-44616-3_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Letichevsky","year":"2000","unstructured":"Letichevsky, A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 311\u2013328. Springer, Heidelberg (2000)"},{"key":"9_CR14","series-title":"NATO Science Series II. Mathematics, Physics and Chemistry","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/1-4020-3817-8_10","volume-title":"Structural Theory of Automata, Semigroups, and Universal Algebra","author":"A. Letichevsky","year":"2005","unstructured":"Letichevsky, A.: Algebra of behavior transformations and its applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups, and Universal Algebra. NATO Science Series II. Mathematics, Physics and Chemistry, vol.\u00a0207, pp. 241\u2013272. Springer, Heidelberg (2005)"},{"key":"9_CR15","first-page":"13","volume":"4","author":"A. Letichevsky","year":"2008","unstructured":"Letichevsky, A., Kapitonova, J., Kotlyarov, V., Letichevsky Jr., A., Nikitchenko, N., Volkov, V., Weigert, T.: Insertion modeling in distributed system design. Problems of Programming\u00a04, 13\u201339 (2008)","journal-title":"Problems of Programming"},{"key":"9_CR16","first-page":"3","volume":"4","author":"A.A. Letichevsky","year":"2010","unstructured":"Letichevsky, A.A., Godlevsky, A.B., Letichevsky Jr., A.A., Potienko, S.V., Peschanenko, V.S.: Properties of Predicate Transformer of VRS System. Cybernetics and System Analyses\u00a04, 3\u201316 (2010)","journal-title":"Cybernetics and System Analyses"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-29709-0_23","volume-title":"Perspectives of Systems Informatics","author":"A.A. Letichevsky","year":"2012","unstructured":"Letichevsky, A.A., Letychevskyi, O.A., Peschanenko, V.S.: Insertion Modeling System. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol.\u00a07162, pp. 262\u2013273. Springer, Heidelberg (2012)"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/96877.96896","volume-title":"International Symposium on Symbolic and Algebraic Computation","author":"A.A. Letichevsky","year":"1990","unstructured":"Letichevsky, A.A., Kapitonova, J.V.: Algebraic Programming in the APS System. In: International Symposium on Symbolic and Algebraic Computation, pp. 68\u201375. ACM, New York (1990)"}],"container-title":["Communications in Computer and Information Science","ICT in Education, Research, and Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35737-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:25:04Z","timestamp":1620120304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35737-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357367","9783642357374"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35737-4_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}