[ Please note: The project has been discontinued as of May 31, 2005 and is superseded by the projects of the ii Labs. There won't be further updates to these pages. ]

(Related publications: [PUBLink] [PUBLink] [PUBLink])

Structural constraints could be freely defined automata to test graphs for specific properties. However, to enhance computability, we use a stricter convention here.

• The Representation of Structural Constraints
• Application Conditions
• Examples

For questions, comments or suggestions, please contact us.

Last update:
January 31, 2002 by Alexander Nareyek