Scollar
From Erights
(Difference between revisions)
Line 3: | Line 3: | ||
[[Category:Applications]] | [[Category:Applications]] | ||
- | [[Category:Formal | + | [[Category:Formal Reasoning]] |
Revision as of 00:09, 31 October 2007
Scoll and Scollar analyze safety in patterns of collaborating entities.