@inproceedings{DBLP:conf/forte/LienhardtMSS09,
  author    = {Michael Lienhardt and
               Claudio Antares Mezzina and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  editor    = {David Lee and
               Ant{\'{o}}nia Lopes and
               Arnd Poetzsch{-}Heffter},
  title     = {Typing Component-Based Communication Systems},
  booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
               6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
               International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5522},
  pages     = {167--181},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02138-1\_11},
  doi       = {10.1007/978-3-642-02138-1\_11},
  timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/LienhardtMSS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FaCuRQdCNadnXqyL7","bibbaseid":"lienhardt-mezzina-schmitt-stefani-typingcomponentbasedcommunicationsystems-2009","author_short":["Lienhardt, M.","Mezzina, C. A.","Schmitt, A.","Stefani, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Lienhardt"],"suffixes":[]},{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["Alan"],"propositions":[],"lastnames":["Schmitt"],"suffixes":[]},{"firstnames":["Jean-Bernard"],"propositions":[],"lastnames":["Stefani"],"suffixes":[]}],"editor":[{"firstnames":["David"],"propositions":[],"lastnames":["Lee"],"suffixes":[]},{"firstnames":["Antónia"],"propositions":[],"lastnames":["Lopes"],"suffixes":[]},{"firstnames":["Arnd"],"propositions":[],"lastnames":["Poetzsch-Heffter"],"suffixes":[]}],"title":"Typing Component-Based Communication Systems","booktitle":"Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings","series":"Lecture Notes in Computer Science","volume":"5522","pages":"167–181","publisher":"Springer","year":"2009","url":"https://doi.org/10.1007/978-3-642-02138-1_11","doi":"10.1007/978-3-642-02138-1_11","timestamp":"Mon, 15 Jul 2019 16:26:46 +0200","biburl":"https://dblp.org/rec/conf/forte/LienhardtMSS09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/forte/LienhardtMSS09,\n author = {Michael Lienhardt and\n Claudio Antares Mezzina and\n Alan Schmitt and\n Jean{-}Bernard Stefani},\n editor = {David Lee and\n Ant{\\'{o}}nia Lopes and\n Arnd Poetzsch{-}Heffter},\n title = {Typing Component-Based Communication Systems},\n booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}\n 6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1\n International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,\n 2009. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {5522},\n pages = {167--181},\n publisher = {Springer},\n year = {2009},\n url = {https://doi.org/10.1007/978-3-642-02138-1\\_11},\n doi = {10.1007/978-3-642-02138-1\\_11},\n timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},\n biburl = {https://dblp.org/rec/conf/forte/LienhardtMSS09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lienhardt, M.","Mezzina, C. A.","Schmitt, A.","Stefani, J."],"editor_short":["Lee, D.","Lopes, A.","Poetzsch-Heffter, A."],"key":"DBLP:conf/forte/LienhardtMSS09","id":"DBLP:conf/forte/LienhardtMSS09","bibbaseid":"lienhardt-mezzina-schmitt-stefani-typingcomponentbasedcommunicationsystems-2009","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-02138-1_11"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/73/7078.bib","dataSources":["xs35HrYTZDE2HTSYB"],"keywords":[],"search_terms":["typing","component","based","communication","systems","lienhardt","mezzina","schmitt","stefani"],"title":"Typing Component-Based Communication Systems","year":2009}