I. Sakellariou, G. Eleftherakis, I. Vlahavas, P. Kefalas, “Animating Formal Models in a Communicating Sequential Process Platform”, 10th Panhellenic Conference on Informatics, Local Proceedings, P. Bozanis and E. Houstis (Eds.), pp. 174-183, 2005.

Authors:

Appeared In:

Tags:

Abstract: