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.

