{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T11:16:51Z","timestamp":1725448611848},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icsmc.2009.5346910","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:31Z","timestamp":1260456271000},"page":"4484-4489","source":"Crossref","is-referenced-by-count":1,"title":["Formal specification and simulation of the robot path planner"],"prefix":"10.1109","author":[{"given":"M. Yassine","family":"Belkhouche","sequence":"first","affiliation":[]},{"given":"Boumediene","family":"Belkhouche","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.019"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1163\/156855307780132036"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00253-8"},{"journal-title":"Applications of Process Algebra","year":"2004","author":"baeten","key":"5"},{"journal-title":"Hybrid Process Algebra","year":"2003","author":"cuipers","key":"4"}],"event":{"name":"2009 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2009,10,11]]},"location":"San Antonio, TX, USA","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340904\/5345886\/05346910.pdf?arnumber=5346910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:09:22Z","timestamp":1489874962000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5346910\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2009.5346910","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}