Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems.

Ahmad A. Saifan, Jrgen Dingel, Jeremy S. Bradbury, Ernesto Posse

Browse the full ICST paper archive.