@inproceedings{DBLP:conf/forte/CarrezFN03,
    author = "Carrez, Cyril and Fantechi, Alessandro and Najm, Elie",
    editor = {K{\"{o}}nig, Hartmut and Heiner, Monika and Wolisz, Adam},
    title = "Behavioural Contracts for a Sound Assembly of Components",
    booktitle = "Formal Techniques for Networked and Distributed Systems - {FORTE} 2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings",
    series = "Lecture Notes in Computer Science",
    volume = "2767",
    pages = "111--126",
    publisher = "Springer",
    year = "2003",
    url = "https://doi.org/10.1007/978-3-540-39979-7\\_8",
    doi = "10.1007/978-3-540-39979-7\\_8",
    timestamp = "Tue, 14 May 2019 10:00:50 +0200",
    biburl = "https://dblp.org/rec/conf/forte/CarrezFN03.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

{"_id":"xvC9Rna9uGEQa3fad","bibbaseid":"carrez-fantechi-najm-behaviouralcontractsforasoundassemblyofcomponents-2003","downloads":0,"creationDate":"2016-06-22T10:19:58.943Z","title":"Behavioural Contracts for a Sound Assembly of Components","author_short":["Carrez, C.","Fantechi, A.","Najm, E."],"year":2003,"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/ws3af8SM9SMEYsH2f","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Carrez"],"firstnames":["Cyril"],"suffixes":[]},{"propositions":[],"lastnames":["Fantechi"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Najm"],"firstnames":["Elie"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["König"],"firstnames":["Hartmut"],"suffixes":[]},{"propositions":[],"lastnames":["Heiner"],"firstnames":["Monika"],"suffixes":[]},{"propositions":[],"lastnames":["Wolisz"],"firstnames":["Adam"],"suffixes":[]}],"title":"Behavioural Contracts for a Sound Assembly of Components","booktitle":"Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings","series":"Lecture Notes in Computer Science","volume":"2767","pages":"111–126","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/978-3-540-39979-7\\\\_8","doi":"10.1007/978-3-540-39979-7\\_8","timestamp":"Tue, 14 May 2019 10:00:50 +0200","biburl":"https://dblp.org/rec/conf/forte/CarrezFN03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/CarrezFN03,\n author = \"Carrez, Cyril and Fantechi, Alessandro and Najm, Elie\",\n editor = {K{\\\"{o}}nig, Hartmut and Heiner, Monika and Wolisz, Adam},\n title = \"Behavioural Contracts for a Sound Assembly of Components\",\n booktitle = \"Formal Techniques for Networked and Distributed Systems - {FORTE} 2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings\",\n series = \"Lecture Notes in Computer Science\",\n volume = \"2767\",\n pages = \"111--126\",\n publisher = \"Springer\",\n year = \"2003\",\n url = \"https://doi.org/10.1007/978-3-540-39979-7\\\\_8\",\n doi = \"10.1007/978-3-540-39979-7\\\\_8\",\n timestamp = \"Tue, 14 May 2019 10:00:50 +0200\",\n biburl = \"https://dblp.org/rec/conf/forte/CarrezFN03.bib\",\n bibsource = \"dblp computer science bibliography, https://dblp.org\"\n}\n\n","author_short":["Carrez, C.","Fantechi, A.","Najm, E."],"editor_short":["König, H.","Heiner, M.","Wolisz, A."],"key":"DBLP:conf/forte/CarrezFN03","id":"DBLP:conf/forte/CarrezFN03","bibbaseid":"carrez-fantechi-najm-behaviouralcontractsforasoundassemblyofcomponents-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-39979-7\\\\_8"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["behavioural","contracts","sound","assembly","components","carrez","fantechi","najm"],"keywords":[],"authorIDs":[],"dataSources":["5S2zj2hKW8TWTkuMq","PZg5PtcToSZkgSyYp","qQnqccZvH25J6baZj","WKKW4iPgS2HZ3iYgC","ayX6N9CZwEAB9vnsu","p5NhmgzaptHibbc54","yJus66XMcAovEa59P","Dku8hLpmnK4EMRGxi","o4c8ZrEv4pXJNTWsQ","Am74mndWeepaSMcba","g7R8qBvQHnTH2cmxX","NjpvvPPb5uHsATbEa"]}