{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:41:09Z","timestamp":1729640469918,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwrsp.2003.1207034","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"86-92","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of LOTOS specification of the IEEE-1394 firewire protocol"],"prefix":"10.1109","author":[{"given":"V.","family":"Carchiolo","sequence":"first","affiliation":[]},{"given":"M.","family":"Malgeri","sequence":"additional","affiliation":[]},{"given":"G.","family":"Mangioni","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-81641-2.50028-9","article-title":"Specifying Hardware in LOTOS","author":"faci","year":"1993","journal-title":"Proc IFIP Conf Hardware Description Languages and Their Applications (CHDL 93)"},{"key":"ref3","article-title":"Hardware\/Software synthesis of formal specifications in Codesign of embedded systems","volume":"6","author":"carchiolo","year":"2001","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"ref10","article-title":"DILL – Digital logic in LOTOS","author":"turner","year":"1993","journal-title":"Formal Description Techniques FORTE VII Boston"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337771"},{"journal-title":"Information Processing Systems Open System Interconnection LOTOS A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour ISO","article-title":"ISO-IS-8807","year":"1988","key":"ref5"},{"key":"ref8","article-title":"Validation of the link layer protocol of the IEEE-1394 serial bus (‘fireWire’): an experiment with E-LOTOS","author":"sighireanu","year":"1997","journal-title":"Technical Report 3172 Institut National de Recherche en Informatique et an Automatique"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58555-9_89"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"journal-title":"IEEE","article-title":"Standard VHDL Language Reference Manual","year":"1988","key":"ref9"},{"year":"1995","key":"ref1","article-title":"I. S. 1394–1995"}],"event":{"name":"14th IEEE International Workshop on Rapid Systems Prototyping","acronym":"IWRSP-03","location":"San Diego, CA, USA"},"container-title":["14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8579\/27166\/01207034.pdf?arnumber=1207034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:54:29Z","timestamp":1523235269000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207034\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/iwrsp.2003.1207034","relation":{},"subject":[]}}