A Framework for Parameterized Monitorability. Aceto, L., Achilleos, A., Francalanza, A., & Ingólfsdóttir, A. In Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pages 203–220, 2018.
	author = {Aceto, Luca and Achilleos, Antonis and Francalanza, Adrian and Ing{\'o}lfsd{\'o}ttir, Anna},
	booktitle = {Foundations of {Software} {Science} and {Computation} {Structures} - 21st {International} {Conference}, {FOSSACS} 2018, {Held} as {Part} of the {European} {Joint} {Conferences} on {Theory} and {Practice} of {Software}, {ETAPS} 2018, {Thessaloniki}, {Greece}, {April} 14-20, 2018, {Proceedings}},
	pages = {203--220},
	title = {A {Framework} for {Parameterized} {Monitorability}},
	year = {2018}}

Downloads: 0