{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:40:27Z","timestamp":1742913627945,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236313"},{"type":"electronic","value":"9783540301844"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30184-4_13","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T15:27:01Z","timestamp":1285255621000},"page":"147-158","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Validation Model for the Netconf Protocol"],"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":"13_CR1","doi-asserted-by":"crossref","unstructured":"Bush, R., Griffin, T.: Integrity for Virtual Private Routed Networks. In: Proc. IEEE INFOCOM (2003)","DOI":"10.1109\/INFCOM.2003.1208982"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/604264.604278","volume":"30","author":"L. Cardelli","year":"2001","unstructured":"Cardelli, L.: Describing semistructured data. SIGMOD Record\u00a030(4), 80\u201385 (2001)","journal-title":"SIGMOD Record"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Ghelli, G.: TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science (to appear)","DOI":"10.1017\/S0960129504004141"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Deca, R., Cherkaoui, O., Puche, D.: A Validation Solution for Network Configuration. In: Communications Networks and Services Research Conference (CNSR 2004), Fredericton, N.B. (2004)","DOI":"10.1109\/DNSR.2004.1344738"},{"key":"13_CR5","unstructured":"DSP111, DMTF white paper, Common Information Model core model, version 2.4, August 30 (2000)"},{"key":"13_CR6","unstructured":"Enns, R.: NETCONF Configuration Protocol. Internet draft (February 2004), http:\/\/www.ietf.org\/internet-drafts\/draft-ietf-netconf-prot-02.txt"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C.: Monadic queries over tree-structured data. In: LICS 2002, pp. 189\u2013202 (2002)","DOI":"10.1109\/LICS.2002.1029828"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-30189-9_15","volume-title":"Management of Multimedia Networks and Services","author":"S. Hall\u00e9","year":"2004","unstructured":"Hall\u00e9, S., Deca, R., Cherkaoui, O., Villemaire, R.: Automated Validation of Service Configuration on Network Devices. In: Vicente, J.B., Hutchison, D. (eds.) MMNS 2004. LNCS, vol.\u00a03271, pp. 176\u2013188. Springer, Heidelberg (2004) (to appear)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Lymberopoulos, L., Lupu, E., Sloman, M.: Ponder Policy Implementation and Validation in a CIM and Differentiated Services Framework. In: NOMS 2004 (2004)","DOI":"10.1109\/NOMS.2004.1317639"},{"key":"13_CR10","unstructured":"L\u00f3pez de Vergara, J.E., Villagr\u00e1, V.A., Berrocal, J.: Semantic Management: advantages of using an ontology-based management information meta-model. In: HP-OVUA 2002 (2002)"},{"key":"13_CR11","unstructured":"Pepelnjak, I., Guichard, J.: MPLS VPN Architectures. Cisco Press (2001)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Rosen, E., Rekhter, Y.: BGP\/MPLS VPNs. RFC 2547 (1999)","DOI":"10.17487\/rfc2547"},{"key":"13_CR13","volume-title":"Virtual Private Networks","author":"C. Scott","year":"1998","unstructured":"Scott, C., Wolfe, P., Erwin, M.: Virtual Private Networks. O\u2019Reilly, Sebastopol (1998)"},{"key":"13_CR14","volume-title":"Directory Enabled Networks","author":"J. Strassner","year":"1999","unstructured":"Strassner, J., Baker, F.: Directory Enabled Networks. Macmillan Technical Publishing, Basingstoke (1999)"},{"key":"13_CR15","unstructured":"TQL web site, Universit\u00e0 di Pisa, http:\/\/tql.di.unipi.it\/tql\/"}],"container-title":["Lecture Notes in Computer Science","Utility Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30184-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T21:40:09Z","timestamp":1559684409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30184-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236313","9783540301844"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30184-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}