{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:18:51Z","timestamp":1740028731786,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665595"},{"type":"electronic","value":"9783540481539"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48153-2_20","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:28Z","timestamp":1269897208000},"page":"267-279","source":"Crossref","is-referenced-by-count":10,"title":["Modeling and Checking Networks of Communicating Real-Time Processes"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Ruf","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Kropf","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"20_CR1","series-title":"Lect Notes Comput Sci","volume-title":"International Colloquium on Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"R. Alur and D. Dill. Automata for Modeling Real-Time Systems. In International Colloquium on Automata, Languages and Programming, LNCS, NY, 1990. Springer-Verlag."},{"key":"20_CR2","volume-title":"Symposium on Logic in Computer Science","author":"R. Alur","year":"1990","unstructured":"R. Alur, C. Courcoubetics, and D. Dill. Model Checking for Real-Time Systems. In Symposium on Logic in Computer Science, Washington, D.C., 1990. IEEE Computer Society Press."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. In IEEE Symposium on Logic in Computer Science (LICS), pages 394\u2013406, Santa-Cruz, California, June 1992. IEEE Computer Science Press.","DOI":"10.1109\/LICS.1992.185551"},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-63166-6_19","volume-title":"Conference on Computer Aided Verification (CAV)","author":"M. Bozga","year":"1997","unstructured":"M. Bozga, O. Maler, A. Pnueli, and S. Yovine. Some progress in the symbolic verification of timed automata. In O. Grumberg, editor, Conference on Computer Aided Verification (CAV), volume 1254 of LNCS, pages 179\u2013190. Springer Verlag, June 1997."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"S. 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 Development, AMAST Series in Computing. AMAST Series in Computing, May 1994.","DOI":"10.21236\/ADA282878"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/EDTC.1996.494120","volume-title":"European Design and Test Conference (EDTC)","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 European Design and Test Conference (EDTC), pages 15\u201321, Paris, France, March 1996. IEEE Computer Society Press (Los Alamitos, California)."},{"key":"20_CR7","unstructured":"J. Ruf and T. Kropf. Using MTBDDs for discrete timed symbolic model checking. Multiple-Valued Logic-An International Journal, 1998. Special Issue on Decision Diagrams, Gordon and Breach."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"J. Ruf and T. Kropf. Symbolic model checking for a discrete clocked temporal logic with intervals. In Conference on Correct Hardware Design and Verification Methods (CHARME), pages 146\u2013166, Montreal, Canada, October 1997. Chapman and Hall.","DOI":"10.1007\/978-0-387-35190-2_10"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"R. Bahar, E. Frohm, C. Gaona, G. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic Decision Diagrams and Their Applications. In IEEE\/ACM International Conference on Computer Aided Design (ICCAD), pages 188\u2013191, Santa Clara, California, November 1993. ACM\/IEEE, IEEE Computer Society Press.","DOI":"10.1109\/ICCAD.1993.580054"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"E. Clarke, K. McMillian, X. Zhao, M. Fujita, and J. Y. Yang. Spectral Transforms for large Boolean Functions with Application to Technology Mapping. In ACM\/IEEE Design Automation Conference (DAC), pages 54\u201360, Dallas, TX, June 1993.","DOI":"10.1145\/157485.164569"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"J. Ruf and T. Kropf. Using MTBDDs for composition and model checking of real-time systems. In FMCAD 1998. Springer, November 1998.","DOI":"10.1007\/3-540-49519-3_13"},{"key":"20_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-48654-1","volume-title":"International Conference on Theorem Provers in Circuit Design (TPCD)","author":"S. Johnson","year":"1994","unstructured":"S. Johnson, P. Miner, and A. Camilleri. Studies of the single pulser in various reasoning systems. In International Conference on Theorem Provers in Circuit Design (TPCD), volume 901 of LNCS, Bad Herrenalb, Germany, September 1994. Springer-Verlag, 1995."},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Formal Development of Reactive Systems-Case Study Production Cell","year":"1995","unstructured":"C. Lewerentz and T. Lindner, editors. Formal Development of Reactive Systems-Case Study Production Cell, number 891 in LNCS. Springer, 1995."},{"key":"20_CR14","unstructured":"SAE. J1850 class B data communication network interface. The Engineering Society For Advancing Mobility Land Sea Air and Space, October 1995."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48153-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:14:06Z","timestamp":1739992446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48153-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665595","9783540481539"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48153-2_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}