in the µ-Calculus.

Orna Grumberg Martin Lange Martin Leucker Sharon Shoham

Published in: VMCAI (2005)

Keyphrases

real time
algebraic structure
information technology
genetic algorithm
website
database
databases
machine learning
e learning
image processing
image segmentation
relational databases
automated deduction