{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T04:40:01Z","timestamp":1735533601636,"version":"3.32.0"},"reference-count":16,"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":["Form Method Syst Des"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1007\/bf01384315","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T03:30:13Z","timestamp":1112412613000},"page":"67-95","source":"Crossref","is-referenced-by-count":1,"title":["An iterative approach to verification of real-time systems"],"prefix":"10.1007","volume":"6","author":[{"given":"Felice","family":"Balarin","sequence":"first","affiliation":[]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, Costas Courcoubetis, and David L. Dill. Model-checking for real-time systems. InProceedings of 5th LICS, pages 414?425, June 1992.","DOI":"10.1109\/LICS.1990.113766"},{"key":"CR2","unstructured":"Rajeev Alur, Costas Courcoubetis, Nicholas Halbwachs, David L. Dill, and Howard Wong-Toi. Minimization of timed transition systems. InProceedings of CONCUR'92, August 1992."},{"key":"CR3","unstructured":"Rajeev Alur and David L. Dill. Automata for modelling real-time systems. In M.S. Paterson, editor,ICALP'90 Automata, languages, and programming: 17th international colloquium. Springer-Verlag, 1990. LNCS vol. 443."},{"key":"CR4","unstructured":"Rajeev Alur, Alon Itai, R. P. Kurshan, and M. Yannakakis. Timing verification by successive approximation. In G. v. Bochmann and D.K. Probst, editors,Proceedings of Computer Aided Verification: 4th International Workshop, CAV'92, Montreal, Canada, June 29-July 1, 1992. Springer-Verlag, 1993. LNCS vol. 663."},{"key":"CR5","unstructured":"Felice Balarin and Alberto L. Sangiovanni-Vincentelli. Formal verification of timing constrained finitestate systems. Technical Report UCB ERL M92\/8, University of California Berkeley, 1992."},{"key":"CR6","unstructured":"Felice Balarin and Alberto L. Sangiovanni-Vincentelli. A verification strategy for timing constrained systems. In G. v. Bochmann and D.K. Probst, editors,Proceedings of Computer Aided Verification: 4th International Workshop, CAV'92, Montreal, Canada, June 29?July 1, 1992, pages 151?63. Springer-Verlag, 1993. LNCS vol. 663."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. InProc. Principles of Programming Languages, January 1992.","DOI":"10.1145\/143165.143235"},{"key":"CR8","unstructured":"Costas Courcoubetis, David L. Dill, M. Hatzaki, and Panagiotis Tzounakis. Verification with real-time COSPAN. In G. v. Bochmann and D.K. Probst, editors,Proceedings of Computer Aided Verification: 4th International Workshop, CAV'92, Montreal, Canada, June 29?July 1, 1992. Springer-Verlag, 1993. LNCS vol. 663."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"David L. Dill. Timing assumptions and verification of finite-state concurrent systems. In Joseph Sifakis, editor,Automatic Verification Methods for Finite-State Systems. Springer-Verlag, 1989. LNCS vol. 407.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"CR10","unstructured":"Z. Har'El and R. P. Kurshan. Software for analysis of coordination. InProceedings of the International Conference of System Science, pages 382?385, 1988."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Xavier Nicolin, Jospeh Sifakis, and Sergio Yovine. Symbolic model-checking for real-time systems. InProceedings of 7th Symposium on Logics in Computer Science. IEEE Computer Society Press, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"CR12","unstructured":"Ramin Hojati, Herve Touati, R. P. Kurshan, and Robert K. Brayton, Efficient ?-regular language containment. In G. v. Bochmann and D.K. Probst, editors,Proceedings of Computer Aided Verification: 4th International Workshop, CAV'92, Montreal, Canada, June 29?July 1, 1992. Springer-Verlag, 1993. LNCS vol. 663."},{"key":"CR13","unstructured":"R. P. Kurshan. Automata-theoretic verification of coordinating processes. To be published."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan. Analysis of discrete event coordination. In J. W. de Bakker, W.P. de Roever, and G. Rozenberg, editors,Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, pages 414?453. Springer-Verlag, 1990. LNCS vol. 430.","DOI":"10.1007\/3-540-52559-9_74"},{"key":"CR15","unstructured":"R. P. Kurshan, 1991. private communications."},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970265","volume-title":"Data Structures and Network Algorithms","author":"Robert Endre Tarjan","year":"1983","unstructured":"Robert Endre Tarjan.Data Structures and Network Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, 1983."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01384315.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01384315\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01384315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T03:28:44Z","timestamp":1735529324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01384315"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["BF01384315"],"URL":"https:\/\/doi.org\/10.1007\/bf01384315","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}