Publications of L. A. Dennis sorted by journal and type
Publications of type Inproceedings
2008
Automated verification of multi-agent programs, in: 23rd International Conference on Automated Software Engineering, pages 69-78, IEEE, 2008 | , , and ,
Automated verification of multi-agent programs, in: 23rd International Conference on Automated Software Engineering, pages 69-78, IEEE, 2008 | , , and ,