4. ATAL 1997: Providence, Rhode Island, USA

Section I: Methodologies

Section II: Architectures and Infrastructure

Section III: Coordination Planning and Monitoring

Section IV: Formal Methods

Section V: Theories

Section VI: Architectures and Methodologies