Authors: Logean, X Dietrich, F Hubaux, JP Grisouard, S Etique, PA

Citation: X. Logean et al., On applying formal techniques to the development of hybrid services: Challenges and directions, IEEE COMM M, 37(7), 1999, pp. 132-138