Bibtex:

@inproceedings{02KMSF,
  AUTHOR    = { Kortenkamp, D.
                and Milam, T.
                and Simmons, R.
                and Fernandez, J. L. },
  TITLE     = { A Suite of Tools for Debugging Distributed Autonomous Systems },
  BOOKTITLE = { Proceedings of the IEEE International Conference on Robotics and Automation },
  YEAR      = { 2002 },
  MONTH     = { May },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.