{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:11Z","timestamp":1725664871205},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614746"},{"type":"electronic","value":"9783540685999"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61474-5_99","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:42:20Z","timestamp":1330274540000},"page":"446-449","source":"Crossref","is-referenced-by-count":7,"title":["The Real-Time Graphical Interval Logic toolset"],"prefix":"10.1007","author":[{"given":"L. E.","family":"Moser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y. S.","family":"Ramakrishna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Kutty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. K.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"47_CR1","first-page":"322","volume-title":"LNCS 443","author":"R. Alur","year":"1990","unstructured":"R. Alur and D. Dill, \u201cAutomata for modelling real-time systems,\u201d Proceedings of 17th International Conference on Automata Languages and Programming, Warwick University, England (July 1990), LNCS 443, Springer-Verlag, pp. 322\u2013335."},{"key":"47_CR2","first-page":"196","volume-title":"LNCS 407","author":"D. L. Dill","year":"1989","unstructured":"D. L. Dill, \u201cTiming assumptions and verification of finite-state concurrent systems,\u201d Proceedings of International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France (June 1989), LNCS 407, Springer-Verlag, pp. 196\u2013212."},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"B. A. Myers, D. A. Giuse, R. B. Danneberg, B. VanderZanden, D. S. Kosbie, E. Pervin, A. Mickish and P. Marchai, \u201cGarnet: Comprehensive support for graphical, highly interactive user interfaces,\u201d IEEE Computer (November 1990), pp. 71\u201385.","DOI":"10.1109\/2.60882"},{"key":"47_CR4","first-page":"173","volume-title":"LNCS 761","author":"Y. S. Ramakrishna","year":"1993","unstructured":"Y. S. Ramakrishna, L. K. Dillon, L. E. Moser, P. M. Melliar-Smith and G. Kutty, \u201cA realtime interval logic and its decision procedure,\u201d Proceedings of Thirteenth Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India (December 1993), LNCS 761, Springer-Verlag, pp. 173\u2013192."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61474-5_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:46Z","timestamp":1605629206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61474-5_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614746","9783540685999"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-61474-5_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}