{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:12:46Z","timestamp":1725631966110},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615873"},{"type":"electronic","value":"9783540706410"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0105398","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T21:17:00Z","timestamp":1320873420000},"page":"77-92","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Proving liveness of fair transition systems"],"prefix":"10.1007","author":[{"given":"Holger","family":"Busch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,4,29]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"F. Andersen, K.D. Petersen, and J.S. Pettersson, \u2018A Graphical Tool for Proving UNITY Progress', in Higher Order Logic Theorem Proving and its Applications, 7th International Workshop, T. Melham, and J. Camilleri (Eds.), pp. 17\u201332, Springer, LNCS 859, 1994.","DOI":"10.1007\/3-540-58450-1_32"},{"key":"6_CR2","volume-title":"First International Conference on Principles and Practice of Constraint Programming","author":"N. Bj\u00f8rner","year":"1995","unstructured":"N. Bj\u00f8rner, a. Browne and Z. Manna, \u2018Automatic Generation of Invariants and Intermediate Assertions', in First International Conference on Principles and Practice of Constraint Programming, U. Montanari (Ed.), LNCS, Cassis, France, September 1995."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"J.C. Bradfield, \u2018Verifying Temporal Properties of Systems', Birkh\u00e4user, Progress in Theoretical Computer Science, 1992.","DOI":"10.1007\/978-1-4684-6819-9"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"H. Busch, \u2018Rule-Based Induction', in FORMAL METHODS IN SYSTEM DESIGN \u2014 Special Issue on HOL'92, Kluwer, Vol. 5, Issue 1 & 2, July\/August 1994.","DOI":"10.1007\/BF01384232"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"H. Busch, \u2018A Practical Method for Reasoning About Distributed Systems in a Theorem Prover', in Higher Order Logic Theorem Proving and its Applications, 8th International Workshop, E.T. Schubert, P.J. Windley, J. Alves-Foss (Eds.), pp. 106\u2013121, Springer, LNCS 971, 1995.","DOI":"10.1007\/3-540-60275-5_60"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra, \u2018Parallel Program Design \u2014 A Foundation', Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"J. R. Cu\u00e9llar, I. Wildgruber, and D. Barnard, \u2018Combining the Design of Industrial Systems with Effective Verification Techniques', in Proc. of FME'94, Barcelona, Spain, pp. 639\u2013658, Springer LNCS 873, M. Naftalin, T. Denvir, and M. Betran (Eds.), October 1994.","DOI":"10.1007\/3-540-58555-9_120"},{"key":"6_CR8","unstructured":"J. R. Cu\u00e9llar and I. Wildgruber, \u2018The Dagstuhl Steam-Boiler Controller-Problem \u2014 The TLT Solution', Presented at Dagstuhl Seminar 9523, 1995, in The Steam-Boiler Case Study, Springer LNCS, J.-R. Abrial, E. B\u00f6rger, and H. Langmaack (Eds.), 1996."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"U. Engberg, P. Gr\u00f8nning, and L. Lamport, \u2018Mechanical Verification of Concurrent Systems with TLA', in CAV'92, 4th International Workshop, G.v. Bochmann and D.K. Probst (Eds.), pp. 44\u201355, Springer, LNCS 663, 1993.","DOI":"10.1007\/3-540-56496-9_5"},{"key":"6_CR10","unstructured":"G. Gouverneur, \u2018Korrekter Entwurf und Verifikation verteilter Systeme', Dissertation, University of Kaiserslautern, 1995."},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport, \u2018The Temporal Logic of Actions', ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3, pp. 872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"L. Lamport, \u2018TLA in Pictures', in DIMACS Workshop on Specification of Parallel Algorithms, Princeton, May 1994, 1994.","DOI":"10.1090\/dimacs\/018\/19"},{"key":"6_CR13","unstructured":"Z. Manna and A. Pnueli, \u2018Verification of Parameterized Programs', in Specification and Validation Methods, E.B\u00f6rger (Ed.), Oxford University Press, 1994."},{"key":"6_CR14","unstructured":"G. Sander, \u2018VCG \u2014 Visualization of Compiler Graphs', User Documentation V.1.30, Saarbr\u00fccken University, 1995."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"J. v. Wright and T. L\u00e5ngbacka, \u2018Using a Theorem Prover for Reasoning about Concurrent Algorithms', in CAV'92, 4th International Workshop, G.v. Bochmann and D.K. Probst (Eds.), Springer, LNCS 663, 1993.","DOI":"10.1007\/3-540-56496-9_6"}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0105398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:10:15Z","timestamp":1558271415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0105398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615873","9783540706410"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0105398","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"29 April 2007","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}