{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:55Z","timestamp":1725663595653},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564966"},{"type":"electronic","value":"9783540475729"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56496-9_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:12:55Z","timestamp":1330236775000},"page":"357-369","source":"Crossref","is-referenced-by-count":4,"title":["Verifying general safety and liveness properties with integer programming"],"prefix":"10.1007","author":[{"given":"James C.","family":"Corbett","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"28_CR1","first-page":"92","volume-title":"Computer Aided Verification, 3rd International Workshop Proceedings, volume 575 of Lecture Notes in Computer Science","author":"G. S. Avrunin","year":"1991","unstructured":"G. S. Avrunin, U. A. Buy, and J. C. Corbett. Integer programming in the analysis of concurrent systems. In Larsen and Skou [7]."},{"issue":"11","key":"28_CR2","doi-asserted-by":"crossref","first-page":"1204","DOI":"10.1109\/32.106975","volume":"17","author":"G. S. Avrunin","year":"1991","unstructured":"G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Softw. Eng., 17(11):1204\u20131222, Nov. 1991.","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 428\u2013439, 1990.","key":"28_CR3","DOI":"10.1109\/LICS.1990.113767"},{"doi-asserted-by":"crossref","unstructured":"E. Clarke, D. Long, and K. McMillan. Compositional model checking. In Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science, 1989.","key":"28_CR4","DOI":"10.1109\/LICS.1989.39190"},{"key":"28_CR5","volume-title":"PhD thesis","author":"J. C. Corbett","year":"1992","unstructured":"J. C. Corbett. Automated Formal Analysis Methods for Concurrent and Real-Time Software. PhD thesis, University of Massachusetts at Amherst, 1992."},{"key":"28_CR6","first-page":"332","volume-title":"Computer Aided Verification, 3rd International Workshop Proceedings, volume 575 of Lecture Notes in Computer Science","author":"P. Godefroid","year":"1991","unstructured":"P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. Larsen and Skou [7], Aalborg, Denmark, July 1991. Springer-Verlag, pages 332\u2013242."},{"volume-title":"Computer Aided Verification, 3rd International Workshop Proceedings, volume 575 of Lecture Notes in Computer Science","year":"1991","unstructured":"K. G. Larsen and A. Skou, editors. Computer Aided Verification, 3rd International Workshop Proceedings, volume 575 of Lecture Notes in Computer Science, Aalborg, Denmark, July 1991. Springer-Verlag.","key":"28_CR7"},{"issue":"4","key":"28_CR8","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013580, Apr. 1989.","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. MIT Press\/Elsevier, 1990.","key":"28_CR9","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"28_CR10","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1090\/dimacs\/003\/04","volume-title":"Computer-Aided Verification '90","author":"A. Valmari","year":"1991","unstructured":"A. Valmari. A stubborn attack on state explosion. In E. M. Clarke and R. P. Kurshan, editors, Computer-Aided Verification '90, number 3 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 25\u201341, Providence, RI, 1991. American Mathematical Society."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56496-9_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:53:02Z","timestamp":1619556782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56496-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564966","9783540475729"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56496-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}