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

{"_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":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/birthday/AguirreM03.bib","booktitle":"Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday","doi":"10.1007/978-3-540-39910-0_20","editor":[{"firstnames":["Nachum"],"propositions":[],"lastnames":["Dershowitz"],"suffixes":[]}],"pages":"407–435","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 14 May 2019 10:00:52 +0200","title":"Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems","url":"https://doi.org/10.1007/978-3-540-39910-0\\_20","volume":"2772","year":"2003","bibtex":"@inproceedings{DBLP:conf/birthday/AguirreM03,\n author = {Nazareno Aguirre and\nT. S. E. Maibaum},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/birthday/AguirreM03.bib},\n booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna\non the Occasion of His 64th Birthday},\n doi = {10.1007/978-3-540-39910-0\\_20},\n editor = {Nachum Dershowitz},\n pages = {407--435},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Tue, 14 May 2019 10:00:52 +0200},\n title = {Some Institutional Requirements for Temporal Reasoning on Dynamic\nReconfiguration of Component Based Systems},\n url = {https://doi.org/10.1007/978-3-540-39910-0\\_20},\n volume = {2772},\n year = {2003}\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"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/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","CctimS4AgKgzGybH5"]}