@inproceedings{DBLP:conf/fase/AguirreM03,
  author    = {Nazareno Aguirre and
               T. S. E. Maibaum},
  editor    = {Mauro Pezz{\`{e}}},
  title     = {A Logical Basis for the Specification of Reconfigurable Component-Based
               Systems},
  booktitle = {Fundamental Approaches to Software Engineering, 6th International
               Conference, {FASE} 2003, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
               April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2621},
  pages     = {37--51},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36578-8\_4},
  doi       = {10.1007/3-540-36578-8\_4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/AguirreM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"x4mTtZYJ24rkjRSWd","bibbaseid":"aguirre-maibaum-alogicalbasisforthespecificationofreconfigurablecomponentbasedsystems-2003","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259"],"author_short":["Aguirre, N.","Maibaum, T. S. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"editor":[{"firstnames":["Mauro"],"propositions":[],"lastnames":["Pezzè"],"suffixes":[]}],"title":"A Logical Basis for the Specification of Reconfigurable Component-Based Systems","booktitle":"Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings","series":"Lecture Notes in Computer Science","volume":"2621","pages":"37–51","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/3-540-36578-8_4","doi":"10.1007/3-540-36578-8_4","timestamp":"Tue, 14 May 2019 10:00:54 +0200","biburl":"https://dblp.org/rec/conf/fase/AguirreM03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fase/AguirreM03,\n author = {Nazareno Aguirre and\n T. S. E. Maibaum},\n editor = {Mauro Pezz{\\`{e}}},\n title = {A Logical Basis for the Specification of Reconfigurable Component-Based\n Systems},\n booktitle = {Fundamental Approaches to Software Engineering, 6th International\n Conference, {FASE} 2003, Held as Part of the Joint European Conferences\n on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,\n April 7-11, 2003, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {2621},\n pages = {37--51},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/3-540-36578-8\\_4},\n doi = {10.1007/3-540-36578-8\\_4},\n timestamp = {Tue, 14 May 2019 10:00:54 +0200},\n biburl = {https://dblp.org/rec/conf/fase/AguirreM03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aguirre, N.","Maibaum, T. S. E."],"editor_short":["Pezzè, M."],"key":"DBLP:conf/fase/AguirreM03","id":"DBLP:conf/fase/AguirreM03","bibbaseid":"aguirre-maibaum-alogicalbasisforthespecificationofreconfigurablecomponentbasedsystems-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-36578-8_4"},"downloads":0},"bibtype":"inproceedings","biburl":"https://mfisdc.herokuapp.com/downloads/mfis-pubs.bib","creationDate":"2019-12-06T19:48:55.623Z","downloads":0,"keywords":[],"search_terms":["logical","basis","specification","reconfigurable","component","based","systems","aguirre","maibaum"],"title":"A Logical Basis for the Specification of Reconfigurable Component-Based Systems","year":2003,"dataSources":["gvSikWpYHquST7mGs"]}