Sign in
Merging State-Based and Action-Based Verification.
Henri Hansen
Heikki Virtanen
Antti Valmari
Published in:
ACSD (2003)
Keyphrases
</>
model checking
information retrieval
image processing
state space
sensing actions