{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:05:50Z","timestamp":1730210750175,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207726","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"247-248","source":"Crossref","is-referenced-by-count":0,"title":["VoDkaV tool: model checking for extracting global scheduler properties from local restrictions"],"prefix":"10.1109","author":[{"given":"J.J.S.","family":"Penas","sequence":"first","affiliation":[]},{"given":"T.","family":"Arts","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"An Erlang-based hierarchical distributed VoD","author":"barreiro","year":"2001","journal-title":"7th Int Erlang\/OTP User Conference"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/592849.592856"},{"key":"ref6","first-page":"437","article-title":"Cae-sar\/Aldebaran development package: A protocol validation and verification toolbox","volume":"1102","author":"fern\u00e1ndez","year":"1996","journal-title":"LNCS"},{"key":"ref5","first-page":"540","article-title":"The tertiary level in a functional cluster-based hierarchical VoD system","volume":"2178","author":"barreiro","year":"2001","journal-title":"LNCS"},{"journal-title":"SEN group A language and tool set to study communicating processes with data Technical report CWI","year":"1999","key":"ref8"},{"key":"ref7","article-title":"The syntax and semantics of timed µCRL","author":"groote","year":"1997","journal-title":"Technical Report SEN-R9709 CWI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45614-7_11"},{"journal-title":"Manual for the µCRL tool set (version 2 8 2) Technical Report SEN-R0130 CWI","year":"2001","author":"wouters","key":"ref9"},{"journal-title":"Concurrent Programming in Erlang","year":"1996","author":"armstrong","key":"ref1"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207726.pdf?arnumber=1207726","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T15:23:12Z","timestamp":1489418592000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207726\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207726","relation":{},"subject":[]}}