Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
On the Complexity of Determinizing Monitors
CIAA, 2017.
@inproceedings{CIAA-2017-AcetoAFIK,
author = "Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir and Sævar Örn Kjartansson",
booktitle = "{Proceedings of the 22nd International Conference on Implementation and Application of Automata}",
doi = "10.1007/978-3-319-60134-2_1",
isbn = "['978-3-319-60133-5', '978-3-319-60134-2']",
pages = "1--13",
publisher = "{Springer}",
title = "{On the Complexity of Determinizing Monitors}",
year = 2017,
}
Tags: