{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:20Z","timestamp":1725455840949},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010576X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017313","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T02:22:34Z","timestamp":1132626154000},"page":"214-223","source":"Crossref","is-referenced-by-count":1,"title":["Reachability analysis with assertion systems"],"prefix":"10.1007","author":[{"given":"Horst","family":"M\u00fcller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Hopcroft, J. and Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theor. Comp. Sc. 8 (1979)","DOI":"10.1016\/0304-3975(79)90041-0"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Keller, R.M.: Formal verification of parallel programs. CACM, Vol. 19, No. 7 (1976)","DOI":"10.1145\/360248.360251"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Waldinger, R.: The logic of computer programming. IEEE Transactions on software eng., Vol. SE-4, No. 3 (1978)","DOI":"10.1109\/TSE.1978.231499"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Sifakis, J.: Deadlocks and livelocks in transition systems. In: Mathematical Foundations of Computer Science 1980, Proceedings, ed. P. Dembinski, Springer Lecture Notes in Comp. Science 88 (1980).","DOI":"10.1007\/BFb0022535"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017313.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:38:13Z","timestamp":1607531893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010576X"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0017313","relation":{},"subject":[]}}