Thomas Lindh
-
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs