%0 Conference Paper %1 conf/icse/BarbosaLMJ17 %A Barbosa, Davi Monteiro %A de Moura Lima, Rómulo Gadelha %A Maia, Paulo Henrique Mendes %A Junior, Evilásio Costa %B SEAMS@ICSE %D 2017 %I IEEE Computer Society %K dblp %P 24-30 %T Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems. %U http://dblp.uni-trier.de/db/conf/icse/seams2017.html#BarbosaLMJ17 %@ 978-1-5386-1550-8

@inproceedings{conf/icse/BarbosaLMJ17, added-at = {2017-07-18T00:00:00.000+0200}, author = {Barbosa, Davi Monteiro and de Moura Lima, Rómulo Gadelha and Maia, Paulo Henrique Mendes and Junior, Evilásio Costa}, biburl = {https://www.bibsonomy.org/bibtex/2b150883362de63f343ea52f97420b4b2/dblp}, booktitle = {SEAMS@ICSE}, crossref = {conf/icse/2017seams}, ee = {https://doi.org/10.1109/SEAMS.2017.18}, interhash = {df5015251153a0bd6c47f79bab55c25a}, intrahash = {b150883362de63f343ea52f97420b4b2}, isbn = {978-1-5386-1550-8}, keywords = {dblp}, pages = {24-30}, publisher = {IEEE Computer Society}, timestamp = {2017-07-19T11:44:09.000+0200}, title = {Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-Adaptive Systems.}, url = {http://dblp.uni-trier.de/db/conf/icse/seams2017.html#BarbosaLMJ17}, year = 2017 }