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

by Stefan Wölfl
Venue:In 20th International FLAIRS Conference
Citations:5 - 2 self