Data optimizations for constraint automata

Author(s):: Jongmans, S.S.T.Q.; Arbab, F.

Editor(s):: Jongmans S.S.T.Q., Arbab F.

Published: 2016
Publication type: Article / Letter to editor

Date issued: 2016
Language: English
Is part of: Logical Methods in Computer Science (LMCS) (2016), Vol. 12, no. 3:11, p. 1-38
hdl: 1887/56095
doi: 10.2168/LMCS-12(3:11)2016
URL: https://arxiv.org/abs/1608.04592