R. H. Bordini
First name(s): R. H.
Last name(s): Bordini

Publications of R. H. Bordini sorted by journal and type

Publications of type Inproceedings


2008

R. H. Bordini, L. A. Dennis, B. Farwer and M. Fisher, Automated verification of multi-agent programs, in: 23rd International Conference on Automated Software Engineering, pages 69-78, IEEE, 2008