%0 Conference Paper %1 conf/scsc/CapraC19 %A Capra, Lorenzo %A Camilli, Matteo %B SummerSim %D 2019 %E Durak, Umut %I ACM %K dblp %P 28:1-28:12 %T Formalizing distributed self-adaptive systems using high-level petri nets. %U http://dblp.uni-trier.de/db/conf/scsc/scsc2019.html#CapraC19

@inproceedings{conf/scsc/CapraC19, added-at = {2019-12-04T00:00:00.000+0100}, author = {Capra, Lorenzo and Camilli, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/26c28ca9677ef9af9b3a48a4278464966/dblp}, booktitle = {SummerSim}, crossref = {conf/scsc/2019}, editor = {Durak, Umut}, ee = {https://dl.acm.org/citation.cfm?id=3374166}, interhash = {986b82aec719db344a2dca4827df739a}, intrahash = {6c28ca9677ef9af9b3a48a4278464966}, keywords = {dblp}, pages = {28:1-28:12}, publisher = {ACM}, timestamp = {2019-12-05T11:38:56.000+0100}, title = {Formalizing distributed self-adaptive systems using high-level petri nets.}, url = {http://dblp.uni-trier.de/db/conf/scsc/scsc2019.html#CapraC19}, year = 2019 }