Dante Zanarini, Mauro Jaskelioff. Monitoring Reactive Systems with Dynamic Channels. In Alejandro Russo, Omer Tripp, editors, Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. pages 66, ACM, 2014. [doi]
@inproceedings{ZanariniJ14, title = {Monitoring Reactive Systems with Dynamic Channels}, author = {Dante Zanarini and Mauro Jaskelioff}, year = {2014}, doi = {10.1145/2637113.2637120}, url = {http://doi.acm.org/10.1145/2637113.2637120}, researchr = {https://researchr.org/publication/ZanariniJ14}, cites = {0}, citedby = {0}, pages = {66}, booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014}, editor = {Alejandro Russo and Omer Tripp}, publisher = {ACM}, isbn = {978-1-4503-2862-3}, }