Koen ClaessenComputer Science and Engineering

Link Webpage
Modeling tools automated analysis model checking qualitative networks