{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T06:50:29Z","timestamp":1722927029943},"reference-count":11,"publisher":"Institute of Electrical and Electronics Engineers","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.1987.1087831","type":"proceedings-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T14:54:47Z","timestamp":1111589687000},"page":"1450-1455","source":"Crossref","is-referenced-by-count":0,"title":["CONC: A program for analyzing concurrent robot programs without loops"],"prefix":"10.1109","volume":"4","author":[{"given":"B.","family":"Soroka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1984.6313327"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/027836498300200101"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1986.1087411"},{"key":"ref6","article-title":"Design and implementation of high level robot language","author":"inoue","year":"1981","journal-title":"10th Int Symp on Industrial Robots"},{"journal-title":"A language and simulator for multi-arm cartesian robots","year":"0","author":"soroka","key":"ref11"},{"key":"ref5","article-title":"Simulation and display of dynamic path errors for robot motion off-line programming","author":"imam","year":"1984","journal-title":"SME Robots-8 Conference"},{"key":"ref8","first-page":"144ff","article-title":"Simulating robotic applications on a personal computer","author":"meyer","year":"1983","journal-title":"Computers in Mechanical Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1983.12681"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1982.1653918"},{"journal-title":"AL user's manual","year":"1981","author":"mujtaba","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1984.1087220"}],"event":{"name":"1987 IEEE International Conference on Robotics and Automation","location":"Raleigh, NC, USA"},"container-title":["Proceedings. 1987 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8153\/23644\/01087831.pdf?arnumber=1087831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:59:26Z","timestamp":1489431566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1087831\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/robot.1987.1087831","relation":{},"subject":[]}}