{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:55Z","timestamp":1725664375620},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540585558"},{"type":"electronic","value":"9783540490319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58555-9_120","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:36:35Z","timestamp":1330274195000},"page":"639-658","source":"Crossref","is-referenced-by-count":4,"title":["Combining the design of industrial systems with effective verification techniques"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Cu\u00e9llar","sequence":"first","affiliation":[]},{"given":"Isolde","family":"Wildgruber","sequence":"additional","affiliation":[]},{"given":"Dieter","family":"Barnard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"38_CR1","volume-title":"PhD thesis","author":"D. Barnard","year":"1995","unstructured":"Dieter Barnard. Computer-Aided Verification of Concurrent Systems. PhD thesis, Faculty of Informatics, Technical University of Munich, D-80290 Munich, Germany, In preparation 1995."},{"key":"38_CR2","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98:142\u2013170, 1992.","journal-title":"Information and Computation"},{"issue":"3","key":"38_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"Randal E. Bryant. Symbolic boolean manipulation with ordered binarydecision diagrams. ACM Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"ACM Computing Surveys"},{"key":"38_CR4","volume-title":"Technical report, ZFE BT SE 11","author":"J. Cu\u00e9llar","year":"1994","unstructured":"Jorge Cu\u00e9llar and Dieter Barnard. A Tutorial Introduction to TLT. Part I: The Design of Distributed Systems. Technical report, ZFE BT SE 11, Corporate Research and Development, Siemens AG, D-81730 Munich, 1994."},{"key":"38_CR5","volume-title":"Technical report, ZFE BT SE 11","author":"J. Cu\u00e9llar","year":"1994","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. A Tutorial Introduction to TLT. Part II: The Verification of Distributed Systems. Technical report, ZFE BT SE 11, Corporate Research and Development, Siemens AG, D-81730 Munich, 1994."},{"key":"38_CR6","series-title":"ZFE BT SE 11","volume-title":"Technical report","author":"J. Cu\u00e9llar","year":"1992","unstructured":"Jorge Cu\u00e9llar and Gerd Gouverneur. Synthese und Verifikation paralleler Systeme am Beispiel einer verteilten Zugsteuerung. Technical report, Siemens AG, ZFE BT SE 11, D-81730 M\u00fcnchen, Germany, 1992."},{"key":"38_CR7","series-title":"ZFE BT SE 11","volume-title":"Technical report","author":"J. Cu\u00e9llar","year":"1994","unstructured":"Jorge Cu\u00e9llar and Gerd Gouverneur. Eine Einf\u00fchrung in TLT. Technical report, Siemens ZFE BT SE 11, D-81730 M\u00fcnchen, Germany, 1994."},{"key":"38_CR8","volume-title":"Parallel Program Design \u2014 A Foundation","author":"K. M. Chandy","year":"1988","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design \u2014 A Foundation. Addison-Wesley, Reading, Massachusetts, 1988."},{"key":"38_CR9","volume-title":"Technical report, ZFE BT SE 11","author":"J. Cu\u00e9llar","year":"1994","unstructured":"Jorge Cu\u00e9llar and Isolde Wildgruber. An Introduction to TLT Illustrated on a Lift Control Program. Technical report, ZFE BT SE 11, Corporate Research and Development, Siemens AG, D-81730 Munich, 1994."},{"key":"38_CR10","volume-title":"PhD thesis","author":"G. Gouverneur","year":"1995","unstructured":"Gerd Gouverneur. Temporal Logic of Transitions. PhD thesis, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany, To appear 1995."},{"key":"38_CR11","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1972","unstructured":"G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Methuen and Co, London, 1972."},{"key":"38_CR12","volume-title":"Technical Report 79","author":"L. Lamport","year":"1991","unstructured":"Leslie Lamport. The Temporal Logic of Actions. Technical Report 79, Digital Systems Research Center, Palo Alto, California, December 1991."}],"container-title":["Lecture Notes in Computer Science","FME '94: Industrial Benefit of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58555-9_120.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:54Z","timestamp":1619572734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58555-9_120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540585558","9783540490319"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58555-9_120","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}