J | |
---|---|
[JD06] | Wojciech Jamroga and
Jürgen Dix.
Model Checking Abilities of Agents: A Closer Look.
Technical Report IfI-06-02, Institut fúr Informatik, Technische
Universität Clausthal, Germany, 2006.
|
Search
Displayed 1 resultList of authors
- 1
- 1