{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:15Z","timestamp":1725664995836},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627180"},{"type":"electronic","value":"9783540684947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62718-9_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:49:21Z","timestamp":1330296561000},"page":"20-37","source":"Crossref","is-referenced-by-count":10,"title":["Symbolic verification with gap-order constraints"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Fribourg","sequence":"first","affiliation":[]},{"given":"Julian","family":"Richardson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of 5th IEEE LICS, pages 414\u2013425. IEEE, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"B. Boigelot and P. Wolper. Symbolic verification with periodic sets. In Proceedings of conference on Computer-Aided Verification, 1994, pages 55\u201367, 1994.","DOI":"10.1007\/3-540-58179-0_43"},{"key":"2_CR3","unstructured":"L. Fribourg and H. Ols\u00e9n. Datalog programs with arithmetical constraints: hierarchic, periodic and spiralling least fixed points. Research report 95-26, Laboratoire Informatique, \u00c9cole Normale Sup\u00e9rieure, Paris, November 1995."},{"key":"2_CR4","unstructured":"L. Fribourg and J. D. C. Richardson. Symbolic verification with gap-order constraints. Report LIENS \u2014 96 \u2014 3, Laboratoire d'Informatique, \u00c9cole Normale Sup\u00e9rieure (LIENS), Paris, February 1996. Available by ftp from host ftp.ens.fr in directory \/pub\/reports\/liens."},{"key":"2_CR5","first-page":"311","volume-title":"Lecture Notes in Artificial Intelligence, Vol. 814","author":"L. Fribourg","year":"1994","unstructured":"L. Fribourg and M. Veloso Peixoto. Bottom-up evaluation of Datalog programs with arithmetic constraints. In Alan Bundy, editor, 12th Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, Vol. 814, pages 311\u2013325, Nancy, France, 1994. Springer-Verlag."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Delay analysis in synchronous programs. In Proceedings of conference on Computer-Aided Verification, 1993, pages 333\u2013346, 1993.","DOI":"10.1007\/3-540-56922-7_28"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. In Proceedings 7th LICS Symposium, Santa Cruz, pages 394\u2013406, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"2_CR8","unstructured":"A. Kerbrat. M\u00e9thodes Symboliques pour la V\u00e9rification des Processus Communicants: \u00e9tude et mise en oeuvre. PhD thesis, L'Universit\u00e9 Joseph Fourier \u2014 Grenoble I, November 1994. In French."},{"key":"2_CR9","unstructured":"A. Kerbrat. Reachable state space analysis of LOTOS specifications. In Proceedings of the 7th international conference on formal description techniques, pages 161\u2013176, 1994."},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(93)90222-F","volume":"116","author":"P. Z. Revesz","year":"1993","unstructured":"P. Z. Revesz. A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theoretical Computer Science, 1993. vol. 116, pages 117\u2013149.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62718-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:39:36Z","timestamp":1619573976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}