Back to Results
First PageMeta Content
Logic programming / Alloy Analyzer / Massachusetts Institute of Technology / Relational algebra / Circumscription / Relational model / Alloy / Scenario / Tuple


Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science
Add to Reading List

Document Date: 2013-04-15 14:14:29


Open Document

File Size: 608,64 KB

Share Result on Facebook