Login / Signup
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.
Xie Li
Taolue Chen
Zhilin Wu
Mingji Xia
Published in:
SETTA (2020)
Keyphrases
</>
data sets
multiscale
cellular automata
finite automata
lie algebra
website
image representation
model checking