{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:24:52Z","timestamp":1747578292635},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354018712X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022111","type":"book-chapter","created":{"date-parts":[[2006,1,12]],"date-time":"2006-01-12T06:45:40Z","timestamp":1137048340000},"page":"180-190","source":"Crossref","is-referenced-by-count":6,"title":["On the specification of real-time systems using logic programming"],"prefix":"10.1007","author":[{"given":"Franca","family":"Garzotto","sequence":"first","affiliation":[]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Mandrioli","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Morzenti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F. \"Towards a General Theory of Action and Time\", Artificial Intelligence 23, pp. 123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Auernheimer, B., Kemmerer, R.A. \"RT-ASLAN: A Specification Language for Real-Time Systems\", IEEE Trans. on Software Engineering SE-12, n.9, Sept. 1986.","DOI":"10.1109\/TSE.1986.6313044"},{"key":"19_CR3","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"Clocksin, W.F., Mellish, C.S. Programming in Prolog, Springer-Verlag, New York, NY, 1981."},{"key":"19_CR4","volume-title":"Implementatio of Prolog","author":"I. Futo","year":"1984","unstructured":"Futo I., Szeredi J., System Simulation and Cooperative problem Solving on a prolog basis, in Implementatio of Prolog, Campbell ed., Ellis Horwood Publication, distributed by John Wiley & Sons, New York, 1984."},{"key":"19_CR5","unstructured":"Garzotto F., Ghezzi C., Mandrioli D., Morzenti A., An Exercise on the Specification of Real-Time Systems Using Logic Programming, Int. Rep. 86_031, Dipartimento di Elettronica Politecnico di Milano, 1986."},{"key":"19_CR6","volume-title":"Programming Language Concepts","author":"C. Ghezzi","year":"1987","unstructured":"Ghezzi, C., Jazayeri, M. Programming Language Concepts, J. Wiley & Sons, New York, 2nd Edition, 1987.","edition":"2nd Edition"},{"key":"19_CR7","unstructured":"Ghezzi, C., Mandrioli, D. On Eclecticism in Specifications: A Case Study Centered Around Petri Nets, Int. Rep. Dipartimento di Elettronica Politecnico di Milano 1986, to appear in Proc. 4th Int.l Workshop on Software Specification and Design, Monterey, April 1987."},{"key":"19_CR8","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R. Logic for Problem Solving, Elsevier North-Holland, New York, 1979."},{"key":"19_CR9","volume-title":"Int. Rep. Dept. of Computing","author":"R. Kowalski","year":"1985","unstructured":"Kowalski, R., Sergot, M. A Logis Based Calculus of Events, Int. Rep. Dept. of Computing, Imperial College, London, Nov. 1985."},{"key":"19_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W. Foundations of Logic Programming, Springer-Verlag, New York, 1984"},{"key":"19_CR11","unstructured":"Manna, Z., Pnueli, A. Proving Precedence Properties: The Temporal Way, Proc. Conf. Automata, Languages and Programming, Lecture Notes in Computer Science 154, Springer-Verlag, 1983."},{"key":"19_CR12","volume-title":"Int. Rep. Dept. of Computing","author":"F. Sadri","year":"1986","unstructured":"Sadri, F. Representing and Reasoning About Time and Events: Three Recent Approaches, Int. Rep. Dept. of Computing, Imperial College, London, Jan. 1986."},{"key":"19_CR13","volume-title":"Int. Rep. Dept. of Computing and Information Science","author":"D.B. Skillicorn","year":"1986","unstructured":"Skillicorn, D.B., Glasgow, J.I. A Real-Time Specification Using Lucid, Int. Rep. Dept. of Computing and Information Science, Queen's Univ., Kingston, Ontario, Canada, 1986."},{"key":"19_CR14","volume-title":"Software Engineering","author":"I. Sommerville","year":"1986","unstructured":"Sommerville, I. Software Engineering, Addison Wesley, Englewood Cliffs, NJ, 2nd Edition, 1986.","edition":"2nd Edition"},{"key":"19_CR15","volume-title":"Logics for Artificial Intelligence","author":"R. Turner","year":"1984","unstructured":"Turner, R. Logics for Artificial Intelligence, Ellis Horwood Ltd., Chichester, WS, Great Britain, 1984."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Wirth, N. \"Toward a Discipline of Real-Time Programming,\" Comm.ACM 20-8, 577\u2013583, Aug. 1977.","DOI":"10.1145\/359763.359798"}],"container-title":["Lecture Notes in Computer Science","ESEC '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022111","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T22:30:40Z","timestamp":1586644240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022111"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354018712X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0022111","relation":{},"subject":[]}}