Toupie: The µ-calculus over Finite Domains as a Constraint Language.

Marc-Michel Corsini Antoine Rauzy

Published in: J. Autom. Reason. (1997)

Keyphrases

constraint language
constraint networks
integrity constraints
object oriented
metamodel
modeling language
real numbers
metadata
process model
spatial information