Login / Signup
Construction of Abstract State Graphs with PVS.
Susanne Graf
Hassen Saïdi
Published in:
CAV (1997)
Keyphrases
</>
theorem proving
data sets
graph mining
undirected graph
graph theoretic
series parallel