{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:17Z","timestamp":1725663377471},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:34:06Z","timestamp":1330194846000},"page":"199-210","source":"Crossref","is-referenced-by-count":2,"title":["An example of specification and verification in CESAR"],"prefix":"10.1007","author":[{"given":"J.Cl.","family":"Fernandez","sequence":"first","affiliation":[]},{"given":"J.Ph.","family":"Schwartz","sequence":"additional","affiliation":[]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"J.P. QUEILLE \"The CESAR system: an aided and certification system for distributed applications\". Proc. of the 2nd inter. conf. on distribued computing systems Computer Society Press pp149\u2013161 1981.","key":"16_CR1"},{"unstructured":"J.P. QUEILLE \"Le syst\u00e8me CESAR: Description, sp\u00e9cification et analyse des applications r\u00e9parties\"Th\u00e8se docteur-ing\u00e9nieur, Grenoble, 1982.","key":"16_CR2"},{"key":"16_CR3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume":"137","author":"J.P. Queille","year":"1982","unstructured":"J.P. QUEILLE and J. SIFAKIS: \"Specification and verification of concurrent systems in CESAR\" Inter. Symp. om Programming L.N.C.S 137 pp337\u2013350, 1982.","journal-title":"Inter. Symp. om Programming L.N.C.S"},{"unstructured":"J.Ph. SCHWARTZ:\"QUASAR, une r\u00e9alisation du syst\u00e8me CESAR: Description, sp\u00e9cification et analyse des applications r\u00e9parties. Th\u00e8se docteur-ing\u00e9nieur, Grenoble, 1983","key":"16_CR4"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(82)90067-6","volume":"19","author":"J. Sifakis","year":"1982","unstructured":"J. SIFAKIS:\"A unified approach for studying the properties of transition systems\" TCS 19, pp227\u2013258, 1982.","journal-title":"TCS"}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:02:23Z","timestamp":1619557343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}