{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:56:39Z","timestamp":1725483399620},"publisher-location":"Boston, MA","reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387496894"},{"type":"electronic","value":"9780387496900"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-0-387-49690-0_22","type":"book-chapter","created":{"date-parts":[[2007,5,10]],"date-time":"2007-05-10T01:13:39Z","timestamp":1178759619000},"page":"269-282","source":"Crossref","is-referenced-by-count":0,"title":["Modelling the Temporal Aspects of Network Configurations"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudy","family":"Deca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roger","family":"Villemaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Puche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Cherkaoui O, B\u00e9touret F, Deca R (2004) On the Transactional Issues of the Netconf Protocol. Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, unpublished report."},{"key":"22_CR2","unstructured":"Case J, Fedor M, Schoffstall M, Davin J (1990) Simple Network Management Protocol, STD 15. RFC 1157"},{"key":"22_CR3","unstructured":"Cisco SNMP Object Navigator. http:\/\/tools.cisco.com\/Support\/SNMP\/"},{"key":"22_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model Checking. MIT Press, Cambridge"},{"key":"22_CR5","unstructured":"Crub\u00e9zy M (2002) The Prot\u00e9g\u00e9 Axiom Language and Toolset (\u201cPAL\u201d). Prot\u00e9g\u00e9 Project, Stanford University http:\/\/protege.stanford.edu\/"},{"key":"22_CR6","first-page":"29","volume-title":"Policy\u20192001","author":"N. Daminaou","year":"2001","unstructured":"Daminaou N, Dulay N, Lupu E, Sloman M (2001) The Ponder policy Specification Language. In Sloman M, Lobo J, Lupu EC. (eds) Policy\u20192001, Springer, Berlin Heidelberg New York, pp 29\u201331"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"D\u2019Antonio S, D\u2019Arienzo M, Pescap\u00e8 A, Ventre G (2004) An Architecture for Automatic Configuration of Integrated Networks. In NOMS 2004","DOI":"10.1109\/NOMS.2004.1317674"},{"key":"22_CR8","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey BA, Priestley HA (1990) Introduction to Lattices and Order, Cambridge University Press, Cambridge"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Deca R, Cherkaoui O, Puche D (2004) A Validation Solution for Network Configuration. In CNSR 2004","DOI":"10.1109\/DNSR.2004.1344738"},{"key":"22_CR10","unstructured":"Deca R, Cherkaoui O, Puche D (2004) Configuration Model for Network Management. In Gaiti D, Galmes S, Puigjaner R (eds) NetCon 2004"},{"key":"22_CR11","unstructured":"Draft Standard for Virtual Bridge Local Area Networks, IEEE Draft P802.1Q\/D1, May 16, 1997"},{"key":"22_CR12","unstructured":"Enns R (2004) Netconf Configuration Protocol. Internet draft, June 2004. http:\/\/www.ietf.org\/internet-drafts\/draft-ietf-netconf-prot-03.txt"},{"key":"22_CR13","series-title":"LNCS","first-page":"176","volume-title":"MMNS 2004","author":"S. Hall\u00e9","year":"2004","unstructured":"Hall\u00e9 S, Deca R, Cherkaoui O, Villemaire R (2004) Automated Verification of Service Configuration on Network Devices. In Vicente J, Hutchison D (eds) MMNS 2004, Springer, Berlin Heidelberg New York, LNCS 3271, pp 176\u2013188"},{"key":"22_CR14","series-title":"LNCS","first-page":"147","volume-title":"DSOM 2004","author":"S. Hall\u00e9","year":"2004","unstructured":"Hall\u00e9 S, Deca R, Cherkaoui O, Villemaire R, Puche D (2004) A Formal Validation Model for the Netconf Protocol. In Sahai, A, Wu F (eds) DSOM 2004, Springer, Berlin Heidelberg New York, LNCS 3278, pp 147\u2013158"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Jackson D, Schechter I, Shlyakhter I (2000) Alcoa: the Alloy Constraint Analyzer, In ICSE 2000","DOI":"10.1145\/337180.337616"},{"key":"22_CR16","unstructured":"Jackson D (2000) Alloy: A Lightweight Object Modelling Notation. Technical Report 797, MIT Laboratory for Computer Science"},{"key":"22_CR17","unstructured":"L\u00f3pez de Vergara JE, Villagr\u00e1 VE, Berrocal J (2002) Semantic Management: advantages of using an ontology-based management information meta-model. In HP-OVUA 2002"},{"key":"22_CR18","unstructured":"Noy NF (2001) Managing Multiple Ontologies in Prot\u00e9g\u00e9-2000. In Fifth International Prot\u00e9g\u00e9-2000 Workshop"},{"key":"22_CR19","unstructured":"Object Constraint Language (OCL) http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Rosen E, Rechter Y (1999) BGP\/MPLS VPNs. RFC 2547","DOI":"10.17487\/rfc2547"}],"container-title":["IFIP \u2014 The International Federation for Information Processing","Network Control and Engineering for QoS, Security and Mobility, IV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-49690-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:02:18Z","timestamp":1558360938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-49690-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780387496894","9780387496900"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-49690-0_22","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2007]]}}}