{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T07:08:09Z","timestamp":1726124889824},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_24","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T09:34:20Z","timestamp":1165829660000},"page":"260-261","source":"Crossref","is-referenced-by-count":3,"title":["Hardware Verification and Beyond: Using B at AWE"],"prefix":"10.1007","author":[{"given":"Neil","family":"Evans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilson","family":"Ifill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Ifill, W.: The Formal Development of an Example Processor in AMN, C and VHDL. Technical report, MSc thesis, Royal Holloway, University of London (1999)","key":"24_CR1"},{"unstructured":"Ifill, W., Schneider, S., Treharne, H.: Annotating B for Control. Technical report (2007)","key":"24_CR2"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-1-4615-1391-9_3","volume-title":"High integrity software","author":"W. Ifill","year":"2001","unstructured":"Ifill, W., Sorensen, I., Schneider, S.: The use of B to specify, design and verify hardware. In: High integrity software, Norwell, MA, USA, pp. 43\u201362. Kluwer Academic Publishers, Dordrecht (2001)"},{"unstructured":"Sorensen, I.: A Mathematical AMN State Based Description of the ASP. Technical report, AWE (1998)","key":"24_CR4"},{"key":"24_CR5","first-page":"437","volume-title":"IFM 1999: Proceedings of the 1st International Conference on Integrated Formal Methods","author":"H. Treharne","year":"1999","unstructured":"Treharne, H., Schneider, S.: Using a Process Algebra to Control B Operations. In: IFM 1999: Proceedings of the 1st International Conference on Integrated Formal Methods, London, UK, pp. 437\u2013456. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:21:26Z","timestamp":1619508086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11955757_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}