Qualitative constraint calculi: Heterogeneous verification of composition tables (2007)

by S Wölfl, T Mossakowski, L Schröder
Venue:In 20th International FLAIRS Conference