{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:33Z","timestamp":1725456573736},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626008"},{"type":"electronic","value":"9783540683308"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014710","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T04:12:52Z","timestamp":1132719172000},"page":"18-32","source":"Crossref","is-referenced-by-count":1,"title":["A new algorithm for discrete timed symbolic model checking"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Ruf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Kropf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"S. Davari and L. Sha. Sources of unbounded priority inversion in real-time systems and a comparative study of possible solutions. In Operating Systems Review, pages 110\u2013120. ACM, April 1992.","DOI":"10.1145\/142111.142126"},{"key":"4_CR2","volume-title":"Technical Report CMU-CS-95-160","author":"M. Fujita","year":"1995","unstructured":"M. Fujita E. Clarke and X. Zhao. Applications of multi-terminal binary decision diagrams. Technical Report CMU-CS-95-160, School of Computer Science Carnegie Mellon University, Pittsburgh, PA 15213, April 1995."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"E. Clarke, K.L. McMillian, X. Zhao, M. Fujita, and J.C.-Y. Yang. Spectral Transforms for large Boolean Functions with Application to Technologie Mapping. In 30th ACM\/IEEE Design Automation Conference, pages 54\u201360, Dallas, TX, June 1993.","DOI":"10.1145\/157485.164569"},{"key":"4_CR4","series-title":"volume 803 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/BFb0028174","volume-title":"A Decade of Concurrency-Reflections and Perspectives","author":"E. Clarke","year":"1993","unstructured":"E. Clarke, O. Grumberg, and D. Long. Verification Tools for Finite State Concurrent Systems. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, A Decade of Concurrency-Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science, pages 124\u2013175, Noordwijkerhout, Netherlands, June 1993. REX School\/Symposium, Springer-Verlag."},{"issue":"2","key":"4_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E. A. Emerson, and A.P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR6","unstructured":"H. Eveking. private communication, March 1996."},{"key":"4_CR7","first-page":"15","volume-title":"An Efficient Algorithm for Real-Time Model Checking","author":"J. Fr\u00f6\u00dfl","year":"1996","unstructured":"J. Fr\u00f6\u00dfl, J. Gerlach, and T. Kropf. An Efficient Algorithm for Real-Time Model Checking. In In Proccedings of the European Design and Test Conference, pages 15\u201321, Paris, France, March 1996. IEEE Computer Society Press (Los Alamitos, California)."},{"key":"4_CR8","unstructured":"J. Lipson, editor. Elements of Algebra and Algebraic Computing. The Benjamin\/Cummings Publishing Company, Inc., 1981."},{"key":"4_CR9","first-page":"1","volume-title":"Symbolic Model Checking: 1020 States and Beyond","author":"J.R. Burch","year":"1990","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 1\u201333, Washington, D.C., June 1990. IEEE Computer Society Press."},{"key":"4_CR10","unstructured":"K.L. McMillan. The SMV system, symbolic model checking \u2014 an approach. Technical Report CMU-CS-92-131, Carnegie Mellon University, 1992."},{"key":"4_CR11","unstructured":"T. Kropf and J. Ruf. Using MTBDDs for Discrete Timed Symbolic Model Checking. Technical Report of the SFB 358, August 1996."},{"key":"4_CR12","first-page":"414","volume-title":"Model Checking for Real-Time Systems","author":"R. Alur","year":"1990","unstructured":"R. Alur, C. Courcoubetics, and D.L. Dill. Model Checking for Real-Time Systems. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 414\u2013425, Washington, D.C., June 1990. IEEE Computer Society Press."},{"key":"4_CR13","unstructured":"R. Rajkumar. Task synchronisation in real-time systems. PhD thesis, Carnegie Mellon University, 1989."},{"issue":"8","key":"4_CR14","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8):677\u2013691, August 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"S.V. Campos and E. Clarke. Real-Time Symbolic Model Checking for Discrete Time Models. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-Time System Develpment, AMAST Series in Computing. World Scientific Press, AMAST Series in Computing, May 1994.","DOI":"10.21236\/ADA282878"},{"key":"4_CR16","first-page":"394","volume-title":"Symbolic Model Checking for Real-Time Systems","author":"T.A. Henzinger","year":"1992","unstructured":"T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. In 7th. Symposium of Logics in Computer Science, pages 394\u2013406, Santa-Cruz, California, June 1992. IEEE Computer Scienty Press."}],"container-title":["Lecture Notes in Computer Science","Hybrid and Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T19:06:32Z","timestamp":1549825592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014710"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626008","9783540683308"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0014710","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}