Login / Signup

Construction of Abstract State Graphs with PVS.

Susanne GrafHassen Saïdi
Published in: CAV (1997)
Keyphrases
  • theorem proving
  • data sets
  • graph mining
  • undirected graph
  • graph theoretic
  • series parallel