![](/img/cover-not-exists.png)
On applying formal techniques to the development of hybrid services: challenges and directions
Logean, X., Dietrich, F., Hubaux, J.-P., Grisouard, S., Etique, P.-A.Volume:
37
Year:
1999
Language:
english
DOI:
10.1109/35.774892
File:
PDF, 866 KB
english, 1999