%0 Conference Paper %1 conf/sefm/CamilliBC17 %A Camilli, Matteo %A Bellettini, Carlo %A Capra, Lorenzo %B SEFM Workshops %D 2017 %E Cerone, Antonio %E Roveri, Marco %I Springer %K dblp %P 168-173 %T Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper). %U http://dblp.uni-trier.de/db/conf/sefm/sefm2017w.html#CamilliBC17 %V 10729 %@ 978-3-319-74781-1

@inproceedings{conf/sefm/CamilliBC17, added-at = {2020-06-15T00:00:00.000+0200}, author = {Camilli, Matteo and Bellettini, Carlo and Capra, Lorenzo}, biburl = {https://www.bibsonomy.org/bibtex/262eb32b9734011863b2c48d5e9bd0635/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2017w}, editor = {Cerone, Antonio and Roveri, Marco}, ee = {https://doi.org/10.1007/978-3-319-74781-1_12}, interhash = {e91a5f14f1a562f8535c1de03c6adcf9}, intrahash = {62eb32b9734011863b2c48d5e9bd0635}, isbn = {978-3-319-74781-1}, keywords = {dblp}, pages = {168-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:08:20.000+0200}, title = {Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper).}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2017w.html#CamilliBC17}, volume = 10729, year = 2017 }