Acte de conférence, colloque et atelier

Formal Modeling of Communication Traces

Boroday, S., Hallal, H., Petrenko, A. and Ulrich, A. "Formal Modeling of Communication Traces" in Proceedings of the 2nd International Conference on Information System Technology and its Applications (ISTA 2003), pp. LNI vol. P30, pp. 97-108. Kharkov, Ukraine
[Résumé]