Verifying Nonrigidity.

Pavel Goralcik Václav Koubek

Published in: Inf. Process. Lett. (1986)

Keyphrases

model checking
artificial intelligence
case study
expert systems
knowledge base
software systems
multi agent systems
temporal logic
knowledge based systems
formal specification