{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:07:09Z","timestamp":1725674829433},"reference-count":10,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207723","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"241-242","source":"Crossref","is-referenced-by-count":4,"title":["BHDL: circuit design in B"],"prefix":"10.1109","author":[{"given":"A.","family":"Aljer","sequence":"first","affiliation":[]},{"given":"P.","family":"Devienne","sequence":"additional","affiliation":[]},{"given":"S.","family":"Tison","sequence":"additional","affiliation":[]},{"given":"J.-L.","family":"Boulanger","sequence":"additional","affiliation":[]},{"given":"G.","family":"Mariano","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"IEEE","article-title":"Standard VHDL Reference Manual","year":"1993","key":"ref4"},{"journal-title":"Vhdl analysis tools","article-title":"Savant","year":"0","key":"ref3"},{"key":"ref10","article-title":"Formal modeling of digital circuits using B method","author":"boulanger","year":"0","journal-title":"Technical Report"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"Graphical user interface for vhdl modeling web page","article-title":"Vhdl-gui","year":"2003","key":"ref5"},{"journal-title":"B-hdl an experiment to formalizing hardware by software formals specifications EDCC4","year":"2002","author":"boulanger","key":"ref8"},{"year":"2000","author":"aljer","key":"ref7"},{"year":"0","key":"ref2","article-title":"Bhdl"},{"key":"ref9","article-title":"Formalization of digital circuits using the B method","author":"boulanger","year":"2002","journal-title":"CompRail VIII"},{"journal-title":"ANother Tool for Language Recognition","article-title":"Antlr","year":"0","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\/01207723.pdf?arnumber=1207723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T19:23:09Z","timestamp":1489432989000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207723\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207723","relation":{},"subject":[]}}