%0 Conference Paper %1 conf/kbse/AguirreM02 %A Aguirre, Nazareno %A Maibaum, T. S. E. %B ASE %D 2002 %I IEEE Computer Society %K dblp %P 271-274 %T A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. %U http://dblp.uni-trier.de/db/conf/kbse/ase2002.html#AguirreM02 %@ 0-7695-1736-6

@inproceedings{conf/kbse/AguirreM02, added-at = {2015-08-14T00:00:00.000+0200}, author = {Aguirre, Nazareno and Maibaum, T. S. E.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b3b60bf8b0ad892829ee7e15eb98b2b6/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2002}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2002.1115028}, interhash = {4b69e90677f7a9feb62cec3b8f9625a8}, intrahash = {b3b60bf8b0ad892829ee7e15eb98b2b6}, isbn = {0-7695-1736-6}, keywords = {dblp}, pages = {271-274}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:12:44.000+0100}, title = {A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2002.html#AguirreM02}, year = 2002 }