{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:07Z","timestamp":1725549847204},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540272311"},{"type":"electronic","value":"9783540316862"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11513988_42","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:33:28Z","timestamp":1268382808000},"page":"424-428","source":"Crossref","is-referenced-by-count":0,"title":["TRANSYT:A Tool for the Verification of Asynchronous Concurrent Systems"],"prefix":"10.1007","author":[{"given":"Enric","family":"Pastor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco A.","family":"Pe\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Sol\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","unstructured":"Somenzi, F.: CUDD: CU decision diagram package release (1998)"},{"key":"42_CR2","unstructured":"Cabodi, G., Quer, S.: PdTRAV package politecnico di torino reachability analysis for verification, release 1.2 (1999)"},{"key":"42_CR3","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A. Cimatti","year":"2000","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model checker. International Journal on Software Tools for Technology Transfer\u00a02, 410\u2013425 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"42_CR4","series-title":"Lecture Notes in Computer Science","first-page":"428","volume-title":"Computer Aided Verification","author":"The VIS Group","year":"1996","unstructured":"The VIS Group: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 428\u2013432. Springer, Heidelberg (1996)"},{"issue":"3","key":"42_CR5","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems\u00a0E80-D(3), 315\u2013325 (1997)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., McMillan, K.L., Zhao, X.: Efficient generation of counterexamples and witnesses in symbolic model checking. In: Proceedings of the 32nd ACM\/IEEE conference on Design automation conference, pp. 427\u2013432 (1995)","DOI":"10.1145\/217474.217565"},{"key":"42_CR7","doi-asserted-by":"crossref","unstructured":"Stevens, K., Ginosar, R., Rotem, S.: Relative timing. In: Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 208\u2013218 (1999)","DOI":"10.1109\/ASYNC.1999.761535"},{"key":"42_CR8","doi-asserted-by":"crossref","unstructured":"Sol\u00e9, M., Pastor, E.: Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems. In: International Conference on Application of Concurrency to System Design (ACSD 2004), pp. 207\u2013216 (2004)","DOI":"10.1109\/CSD.2004.1309133"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11513988_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:09Z","timestamp":1605625509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11513988_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540272311","9783540316862"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11513988_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}