C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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