{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T21:07:06Z","timestamp":1648847226639},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1007\/bf01438608","type":"journal-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T11:45:42Z","timestamp":1113306342000},"page":"83-96","source":"Crossref","is-referenced-by-count":2,"title":["On a class of timer hybrid systems reducible to finite state automata"],"prefix":"10.1007","volume":"5","author":[{"given":"Kemal","family":"Inan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Alur, R., Courcoubetis, D., Dill, D., Halbwachs, N., and Wong-Toi, H. unpublished. An implementation of three algorithms for timing verification based on automata emptiness."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., and Dill, D. 1990. Model-checking for real time systems.Proc. 5th IEEE Symp. Logic in Computer Sciences, pp. 414?425.","DOI":"10.1109\/LICS.1990.113766"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Dill, D., and Wong-Toi, H. 1992. Minimization of timed transition systems (extended abstract).Proc. CONCUR '92, pp. 340?354. InLecture Notes in Computer Science, vol. 630, Springer-Verlag.","DOI":"10.1007\/BFb0084802"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., and Dill, D. 1991.Automata for Modeling Real-Time Systems. pp. 322?335. Lecture Notes in Computer Science, vol. 443, Springer-Verlag.","DOI":"10.1007\/BFb0032042"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., and Henzinger, T. A. 1989. A really temporal logic.Proc. 30th Symp. Foundations of Computer Science, pp. 164?169.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"CR6","unstructured":"Courcoubetis, C., Dill, D., and Tzounakis, P. Forthcoming. Adding dense time properties to finite-state machines: The tool cospan."},{"key":"CR7","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1090\/dimacs\/003\/15","volume-title":"Memory Efficient Algorithms for the Verification of Temporal Properties","author":"C. Courcoubetis","year":"1991","unstructured":"Courcoubetis, C., Vardi, M., Wolper, P., and Yannakakis, M. 1991.Memory Efficient Algorithms for the Verification of Temporal Properties. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 3. Providence, RI, American Mathematical Society, pp. 207?218."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Courcoubetis, C. and Yannakakis, M. Forthcoming. Minimum and maximum delay in real-time systems.J. Formal Methods.","DOI":"10.1007\/BF00709157"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Dill, D. 1989. Timing assumptions and verification of finite-state concurrent systems. InAutomatic Verification for Finite State Systems, pp. 197?211. Lecture Notes on Computer Science, vol. 407. Springer-Verlag.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"CR10","unstructured":"Haghverdi, E., and Inan, K. 1992. Verification by consecutive projections.FORTE 92 Proceedings. IFIP."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Nicollin, X., Sifakis, J., and Yovine, S. 1992. Symbolic model-checking for real-time systems.Proc. 7th IEEE Symp. Logic in Computer Sciences, pp. 394?406.","DOI":"10.1109\/LICS.1992.185551"},{"key":"CR12","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare, C. A. R. 1985.Communicating Sequential Processes. Herts, England: Prentice-Hall."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/spe.4380180203","volume":"February","author":"G. Holzman","year":"1988","unstructured":"Holzman, G. 1988. An improved protocol reachability analysis technique.Software Practice and Experience February, pp. 137?161.","journal-title":"Software Practice and Experience"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Lynch, N. and Attiya, H. 1990. Using mappings to prove timing properties.Proc 9th ACM Symp. Principles of Distributed Computing, pp. 265?280.","DOI":"10.1145\/93385.93428"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Lewis, H. 1990. A logic of concrete time intervals.Proc. 5th IEEE Symp. Logic in Computer Sciences, pp. 380?389.","DOI":"10.1109\/LICS.1990.113763"},{"key":"CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R. 1989.Communication and Concurrency. New York: Springer."},{"key":"CR17","unstructured":"McManis, J., and Varaiya, P. 1993. Modeling real-time systems using rate automata. Presentation notes for the IMA workshop on DES, University of Minnesota."}],"container-title":["Discrete Event Dynamic Systems: Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01438608.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01438608\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01438608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T19:32:35Z","timestamp":1586201555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01438608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["BF01438608"],"URL":"https:\/\/doi.org\/10.1007\/bf01438608","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}