{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T15:58:08Z","timestamp":1772294288252,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642044199","type":"print"},{"value":"9783642044205","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04420-5_20","type":"book-chapter","created":{"date-parts":[[2009,8,27]],"date-time":"2009-08-27T02:17:25Z","timestamp":1251339445000},"page":"217-232","source":"Crossref","is-referenced-by-count":2,"title":["Limit Set Reachability in Asynchronous Graph Dynamical Systems"],"prefix":"10.1007","author":[{"given":"V. S. Anil","family":"Kumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Macauley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning S.","family":"Mortveit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Newman, M.: The structure and function of complex networks. SIAM Review\u00a04 (2003)","DOI":"10.1137\/S003614450342480"},{"key":"20_CR2","doi-asserted-by":"publisher","DOI":"10.1142\/4702","volume-title":"Cellular Automata: A Discrete Universe","author":"A. Ilachinski","year":"2001","unstructured":"Ilachinski, A.: Cellular Automata: A Discrete Universe. World Scientific Publishing Company, Cambridge (2001)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0304-3975(02)00395-X","volume":"295","author":"C.L. Barrett","year":"2003","unstructured":"Barrett, C.L., Hunt III, H.B., Marathe, M.V., Ravi, S.S., Rosenkrantz, D.J., Stearns, R.E.: Reachability problems for sequential dynamical systems with threshold functions. Theor. Comput. Sci.\u00a0295, 41\u201364 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0096-3003(00)00042-4","volume":"122","author":"C.L. Barrett","year":"2001","unstructured":"Barrett, C.L., Mortveit, H.S., Reidys, C.M.: Elements of a theory of simulation III, equivalence of sds. Applied Mathematics and Computation\u00a0122, 325\u2013340 (2001)","journal-title":"Applied Mathematics and Computation"},{"key":"20_CR5","unstructured":"Mortveit, H.S.: Sequential Dynamical Systems. PhD thesis, Norwegian University of Science and Technology (2000)"},{"key":"20_CR6","volume-title":"An Introduction to Sequential Dynamical Systems. Universitext","author":"H.S. Mortveit","year":"2007","unstructured":"Mortveit, H.S., Reidys, C.M.: An Introduction to Sequential Dynamical Systems. Universitext. Springer, Heidelberg (2007)"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1126\/science.1079382","volume":"299","author":"G. Korniss","year":"2003","unstructured":"Korniss, G., Novotny, M.A., Guclu, H., Toroczkai, Z., Rikvold, P.A.: Suppressing roughness of virtual times in parallel discrete-event simulations. Science\u00a0299, 677\u2013679 (2003)","journal-title":"Science"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1111\/j.2517-6161.1986.tb01412.x","volume":"48","author":"J. Besag","year":"1986","unstructured":"Besag, J.: On the statistical analysis of dirty pictures. Journal of the Royal Statistical Society \u2013 Series B\u00a048, 259\u2013302 (1986)","journal-title":"Journal of the Royal Statistical Society \u2013 Series B"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Karaoz, U., Murali, T., Letovsky, S., Zheng, Y., Ding, C., Cantor, C.R., Kasif, S.: Whole-genome annotation by using evidence integration in functional-linkage networks. In: Proceedings of the National Academy of Sciences, vol.\u00a0101, pp. 2888\u20132893 (2004)","DOI":"10.1073\/pnas.0307326101"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reacitions. Journal of Physical Chemistry\u00a081, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"20_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/0471722154","volume-title":"The Probabilistic Method","author":"N. Alon","year":"2000","unstructured":"Alon, N., Spencer, J.: The Probabilistic Method. Wiley, Chichester (2000)"},{"key":"20_CR12","first-page":"376","volume":"14","author":"A. Yamaguchi","year":"2003","unstructured":"Yamaguchi, A., Aoki, K., Mamitsuka, H.: Graph complexity of chemical compounds in biological pathways. Genome Informatics\u00a014, 376\u2013377 (2003)","journal-title":"Genome Informatics"},{"key":"20_CR13","unstructured":"Atkins, K., Chen, J., Kumar, V.S.A., Marathe, A.: Structural properties of electrical networks. International Journal of Critical Infrastructure (2007)"},{"key":"20_CR14","first-page":"1","volume":"11","author":"H.L. Bodlaender","year":"1993","unstructured":"Bodlaender, H.L.: A tourist guide through treewidth. Acta Cybernetica\u00a011, 1\u201322 (1993)","journal-title":"Acta Cybernetica"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s00026-003-0193-z","volume":"7","author":"C.L. Barrett","year":"2003","unstructured":"Barrett, C.L., Hunt III, H.B., Marathe, M.V., Ravi, S.S., Rosenkrantz, D.J., Stearns, R.E.: On some special classes of sequential dynamical systems. Annals of Combinatorics\u00a07, 381\u2013408 (2003)","journal-title":"Annals of Combinatorics"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04420-5_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T21:47:27Z","timestamp":1739310447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04420-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044199","9783642044205"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04420-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}