A Suite of Tools for Debugging Distributed Autonomous Systems
- Kortenkamp, D.
- Simmons, R.
- Milam, T.
- Fernández, J.L.
ISSN: 0925-9856
Year of publication: 2004
Volume: 24
Issue: 2
Pages: 157-188
Type: Conference paper
Journal:
Formal Methods in System Design