{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:21:22Z","timestamp":1729660882123,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1271797","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"4133-4139","source":"Crossref","is-referenced-by-count":1,"title":["A computation and control language for multi-vehicle systems"],"prefix":"10.1109","author":[{"given":"E.","family":"Klavins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60117-1_24"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"14","first-page":"239","article-title":"A logic for concurrent programming: Safety and Progress","volume":"3","author":"misra","year":"1995","journal-title":"J of Computer and Software Engineering"},{"key":"11","article-title":"Communication complexity of multi-robot systems","author":"klavins","year":"2002","journal-title":"Workshop on the Algorithmic Foundations of Robotics"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"journal-title":"Parallel Program Design A Foundation","year":"1988","author":"chandy","key":"3"},{"key":"2","article-title":"Real-time UNITY","volume":"tr 94 10","author":"carruth","year":"1994","journal-title":"Technical Report"},{"key":"1","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","article-title":"Modular specifications of hybrid systems in CHARON","author":"alur","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"10","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-46430-1_17","article-title":"Automatic compilation of concurrent hybrid factories from product assembly specifications","author":"klavins","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029849"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1239094"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184472"},{"journal-title":"The computation and control language (CCL)","year":"0","author":"klavins","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","article-title":"Giotto: A time-triggered language for embedded programming","author":"henzinger","year":"2001","journal-title":"Proceedings of the First International Workshop on Embedded Software"}],"event":{"name":"42nd IEEE International Conference on Decision and Control","acronym":"CDC-03","location":"Maui, HI, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28456\/01271797.pdf?arnumber=1271797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,6]],"date-time":"2018-05-06T01:56:04Z","timestamp":1525571764000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271797\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1271797","relation":{},"subject":[]}}