A Suite of Tools for Debugging Distributed Autonomous Systems
- Kortenkamp, D.
- Simmons, R.
- Milam, T.
- Fernández, J.L.
ISSN: 0925-9856
Año de publicación: 2004
Volumen: 24
Número: 2
Páginas: 157-188
Tipo: Aportación congreso
Revista:
Formal Methods in System Design