{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T08:16:42Z","timestamp":1648973802102},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2000,9,1]],"date-time":"2000-09-01T00:00:00Z","timestamp":967766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1007\/bf02950405","type":"journal-article","created":{"date-parts":[[2008,9,13]],"date-time":"2008-09-13T18:02:55Z","timestamp":1221328975000},"page":"423-429","source":"Crossref","is-referenced-by-count":6,"title":["Checking timed automata for linear duration properties"],"prefix":"10.1007","volume":"15","author":[{"given":"Jianhua","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Van Hung","family":"Dang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02950405_CR1","doi-asserted-by":"crossref","unstructured":"Kesten Y, Pnueli A, Sifakis J, Yovine S. Integration graphs: A class of decidable hybrid systems. InHybrid System, No. 736 in LNCS, 1993, pp. 179\u2013208.","DOI":"10.1007\/3-540-57318-6_29"},{"key":"BF02950405_CR2","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, Zhang Jingzhong, Yang Lu, Li Xiaoshan. Linear duration invariants. InProc. Formal Techniques in Real-Time and Fault-Tolerant Systems, No. 863 in LNCS, 1994, pp. 373\u2013382.","DOI":"10.1007\/3-540-58468-4_161"},{"key":"BF02950405_CR3","unstructured":"Li Xuandong, Dang Van Hung. Checking linear duration invariants by linear programming. InConcurrency and Parallelism, Programming, Networking, and Security, Joxam Jaffar, Roland H C Yap (eds.), No. 1179 in LNCS, Springer-Verlag, December 1996, pp. 321\u2013332."},{"key":"BF02950405_CR4","doi-asserted-by":"crossref","unstructured":"Li Xuandong, Dang Van Hung, Zheng Tao. Checking hybrid automata for linear duration invariants. InAdvances in Computing Science\u2014ASIAN\u201997, LNCS 1345, Springer-Verlag, 1997, pp. 166\u2013180.","DOI":"10.1007\/3-540-63875-X_51"},{"key":"BF02950405_CR5","unstructured":"Zhao Jianhua, Dang Van Hung. On checking real-time parallel systems for linear duration properties. InProc. Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, No. 1486 in LNCS, Springer-Varlag. September 1998, pp. 241\u2013250."},{"issue":"4","key":"BF02950405_CR6","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1145\/158431.158434","volume":"2","author":"F Wang","year":"1993","unstructured":"Wang F, Mok A K, Emerson E A. Distributed real-time system specification and verification in APTL.ACM Transactions on Software Engineering and Methodology, 1993, 2(4): 346\u2013378.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02950405.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02950405\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02950405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:36:04Z","timestamp":1558470964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02950405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,9]]},"references-count":6,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2000,9]]}},"alternative-id":["BF02950405"],"URL":"https:\/\/doi.org\/10.1007\/bf02950405","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,9]]}}}