10.4230/LIPIcs.FSTTCS.2018.0 copy citation link
URN (urn:nbn:de:0030-drops-98992)
https://nbn-resolving.org/urn:nbn:de:0030-drops-98992
DOI (10.4230/LIPIcs.FSTTCS.2018.0)
https://doi.org/10.4230/LIPIcs.FSTTCS.2018.0
Use and reproduction: