{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:23:00Z","timestamp":1778296980395,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540614746","type":"print"},{"value":"9783540685999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61474-5_97","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:41:45Z","timestamp":1330292505000},"page":"437-440","source":"Crossref","is-referenced-by-count":136,"title":["CADP a protocol validation and verification toolbox"],"prefix":"10.1007","author":[{"given":"Jean -Claude","family":"Fernandez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hubert","family":"Garavel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Kerbrat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihaela","family":"Sighireanu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"45_CR1","first-page":"246","volume-title":"A Toolbox for the Verification of LOTOS Programs","author":"J. Fernandez","year":"1992","unstructured":"Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, and Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Lori A. Clarke, editor, Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), pages 246\u2013259, New-York, May 1992. ACM."},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"J.C1. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In this book, 1996.","DOI":"10.1007\/3-540-61474-5_82"},{"key":"45_CR3","volume-title":"volume 697 of Lecture Notes in Computer Science","author":"J. Fernandez","year":"1993","unstructured":"Jean-Claude Fernandez, Alain Kerbrat, and Laurent Mounier. Symbolic Equivalence Checking. In C. Courcoubetis, editor, Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), volume 697 of Lecture Notes in Computer Science, Berlin, June 1993. Springer Verlag."},{"key":"45_CR4","first-page":"147","volume-title":"Compilation of LOTOS Abstract Data Types","author":"H. Garavel","year":"1989","unstructured":"Hubert Garavel. Compilation of LOTOS Abstract Data Types. In Son T. Vuong, editor, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89 (Vancouver B.C., Canada), pages 147\u2013162, Amsterdam, December 1989. North-Holland."},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Hubert Garavel and Laurent Mounier. Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Science of Computer Programming, 1996. To appear.","DOI":"10.1016\/S0167-6423(96)00034-2"},{"key":"45_CR6","first-page":"379","volume-title":"Compilation and Verification of LOTOS Specifications","author":"H. Garavel","year":"1990","unstructured":"Hubert Garavel and Joseph Sifakis. Compilation and Verification of LOTOS Specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa, Canada), pages 379\u2013394, Amsterdam, June 1990. IFIP, North-Holland."},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Alain Kerbrat and Slim Ben Atallah. Formal Specification of a Framework for Groupware Development. In G. v. Bochmann, R. Dssouli, and O. Rafiq, editors, Proceedings of the 8th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol FORTE'95 (Montreal, Quebec, Canada), October 1995. Short paper.","DOI":"10.1007\/978-0-387-34945-9_22"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61474-5_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:36:49Z","timestamp":1640947009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61474-5_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614746","9783540685999"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61474-5_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}