@inproceedings{DBLP:conf/birthday/AguirreM03,
  author    = {Nazareno Aguirre and
               T. S. E. Maibaum},
  editor    = {Nachum Dershowitz},
  title     = {Some Institutional Requirements for Temporal Reasoning on Dynamic
               Reconfiguration of Component Based Systems},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2772},
  pages     = {407--435},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-39910-0\_20},
  doi       = {10.1007/978-3-540-39910-0\_20},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/AguirreM03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hxcs6GB73q65F354u","bibbaseid":"aguirre-maibaum-someinstitutionalrequirementsfortemporalreasoningondynamicreconfigurationofcomponentbasedsystems-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":["Nachum"],"propositions":[],"lastnames":["Dershowitz"],"suffixes":[]}],"title":"Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems","booktitle":"Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday","series":"Lecture Notes in Computer Science","volume":"2772","pages":"407–435","publisher":"Springer","year":"2003","url":"https://doi.org/10.1007/978-3-540-39910-0_20","doi":"10.1007/978-3-540-39910-0_20","timestamp":"Tue, 14 May 2019 10:00:52 +0200","biburl":"https://dblp.org/rec/conf/birthday/AguirreM03.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/birthday/AguirreM03,\n author = {Nazareno Aguirre and\n T. S. E. Maibaum},\n editor = {Nachum Dershowitz},\n title = {Some Institutional Requirements for Temporal Reasoning on Dynamic\n Reconfiguration of Component Based Systems},\n booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna\n on the Occasion of His 64th Birthday},\n series = {Lecture Notes in Computer Science},\n volume = {2772},\n pages = {407--435},\n publisher = {Springer},\n year = {2003},\n url = {https://doi.org/10.1007/978-3-540-39910-0\\_20},\n doi = {10.1007/978-3-540-39910-0\\_20},\n timestamp = {Tue, 14 May 2019 10:00:52 +0200},\n biburl = {https://dblp.org/rec/conf/birthday/AguirreM03.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aguirre, N.","Maibaum, T. S. E."],"editor_short":["Dershowitz, N."],"key":"DBLP:conf/birthday/AguirreM03","id":"DBLP:conf/birthday/AguirreM03","bibbaseid":"aguirre-maibaum-someinstitutionalrequirementsfortemporalreasoningondynamicreconfigurationofcomponentbasedsystems-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-39910-0_20"},"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":["institutional","requirements","temporal","reasoning","dynamic","reconfiguration","component","based","systems","aguirre","maibaum"],"title":"Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems","year":2003,"dataSources":["gvSikWpYHquST7mGs"]}