Reasoning about sequences of memory states
Rémi Brochenin, Stéphane Demri, Etienne LozesVolume:
161
Year:
2009
Language:
english
Pages:
19
DOI:
10.1016/j.apal.2009.07.004
File:
PDF, 1.62 MB
english, 2009