{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:30Z","timestamp":1725560430536},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290025"},{"type":"electronic","value":"9783540318293"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11556985_19","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T16:03:41Z","timestamp":1129651421000},"page":"140-149","source":"Crossref","is-referenced-by-count":4,"title":["Verification of Language Based Fault-Tolerance"],"prefix":"10.1007","author":[{"given":"Clara Benac","family":"Earle","sequence":"first","affiliation":[]},{"given":"Lars-\u00c5ke","family":"Fredlund","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Concurrent Programming in Erlang","author":"J.L. Armstrong","year":"1996","unstructured":"Armstrong, J.L., Virding, S.R., Williams, M.C., Wikstr\u00f6m, C.: Concurrent Programming in Erlang, 2nd edn. Prentice Hall International, Englewood Cliffs (1996)","edition":"2"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., Benac Earle, C., S\u00e0nchez-Penas, J.J.: Translating Erlang to \u03bcCRL. Application of Concurrency to System Design. In: Proceedings of Fourth International Conference on ACSD 2004, June 2004, vol.\u00a016(18), pp. 135\u2013144 (2004)","DOI":"10.1109\/CSD.2004.1309124"},{"key":"19_CR3","unstructured":"Benac Earle, C.: Model Checking the Interaction of Erlang Components. PhD thesis, University of Kent, UK (February 2005)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireau, M.: CADP (C\u00c6SAR\/ALD\u00c8BARAN development package): A protocol validation and verification toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 437\u2013440. Springer, Heidelberg (1996)"},{"key":"19_CR5","unstructured":"Groote, J.F.: The syntax and semantics of timed mCRL. Technical report SEN-R9709, CWI, Amsterdam (1997)"},{"key":"19_CR6","volume-title":"Real-Time Systems","author":"T. Janowski","year":"2001","unstructured":"Janowski, T., Joseph, M.: Dynamic Scheduling and Fault-tolerance: Specification and Verification. In: Real-Time Systems, vol.\u00a020(1). Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. TCS\u00a027, 333\u2013354 (1983)","journal-title":"TCS"},{"key":"19_CR8","unstructured":"Mateescu, R.: Local Model-Checking of an Alternation-free Value-Based Modal Mu- Calculus. In: Proceedings of the International Workshop on Software Tools for Technology Transfer STTT 1998, Aalborg, Denmark (July 1998)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Rushby, J.: Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. IEEE Transactions on Software Engineering\u00a025(5) (1999)","DOI":"10.1109\/32.815324"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Schneider, F., Easterbrook, S.M., Callahan, J.R., Holzmann, G.H.: Validating Requirements for Fault Tolerant Systems using Model Checking. In: Proceedings, 3rd International Conference on Requirements Engineering, Colorado, Springs, April 1998, pp. 4\u201313 (1998)","DOI":"10.1109\/ICRE.1998.667803"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2013 EUROCAST 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11556985_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:08:31Z","timestamp":1619507311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11556985_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290025","9783540318293"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11556985_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}