1
Published 2003
Springer Berlin Heidelberg
... on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France...

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

3
Published 1997
Springer US
... Processing, and based in Paris, France, in March 1996...