Browsing by Author Kjartansson, Saevar Orn
Showing results 2 to 2 of 2
< previous
Issue Date | Title | Author(s) |
---|---|---|
2017 | On the complexity of determinizing monitors | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn |