State Exploration by Transformation with LOLA.

Juan Quemada Santiago Pavón Angel Fernández

Published in: Automatic Verification Methods for Finite State Systems (1989)

Keyphrases

search engine

relational databases

artificial neural networks