1
Published 1998
Springer US
..., held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing...