{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:49:16Z","timestamp":1742942956360,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":7,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658099930"},{"type":"electronic","value":"9783658099947"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-658-09994-7_13","type":"book-chapter","created":{"date-parts":[[2015,6,5]],"date-time":"2015-06-05T07:56:17Z","timestamp":1433490977000},"page":"281-283","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constraint-based Handling of Component Networks"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Goldhoorn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Kirchner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,6]]},"reference":[{"key":"13_CR1","first-page":"5","volume":"3","author":"M. Quigley","year":"2009","unstructured":"Quigley, M., Conley, K., Gerkey, B., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: Ros: an open-source robot operating system. In: ICRA workshop on open source software. Volume\u00a03. (2009) 5","journal-title":"ICRA workshop on open source software"},{"key":"13_CR2","unstructured":"o. V.: Rock, the Robot Construction Kit (2012) http:\/\/www.rock-robotics.org."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"McGann, C.e.a.: A deliberative architecture for AUV control. IEEE International Conference on Robotics and Automation (2008)","DOI":"10.1109\/ROBOT.2008.4543343"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1177\/0278364913481635","volume":"32","author":"M. Tenorth","year":"2013","unstructured":"Tenorth, M., Beetz, M.: KnowRob \u2013 A Knowledge Processing Infrastructure for Cognition-enabled Robots. International Journal of Robotics Research (IJRR) 32 (2013) 566\u2013590","journal-title":"International Journal of Robotics Research (IJRR)"},{"key":"13_CR5","first-page":"20","volume":"2","author":"Lutkebohle, I.e.a.","year":"2011","unstructured":"Lutkebohle, I.e.a.: Generic middleware support for coordinating robot software components: The Task-State-Pattern. Journal of Software Engineering in Robotics 2 (2011) 20\u201339","journal-title":"Journal of Software Engineering in Robotics"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0167-2789(90)90087-6","volume":"42","author":"S. Harnad","year":"1990","unstructured":"Harnad, S.: The symbol grounding problem. Physica D: Nonlinear Phenomena 42 (1990) 335\u2013346","journal-title":"Physica D: Nonlinear Phenomena"},{"key":"13_CR7","unstructured":"Joyeux, S., Albiez, J., et al.: Robot development : from components to systems. In: Control Architecture of Robots. (2011) 1\u201315"}],"container-title":["Formal Modeling and Verification of Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-09994-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T11:48:27Z","timestamp":1676461707000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-09994-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783658099930","9783658099947"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-09994-7_13","relation":{},"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"6 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}