Towards a mobile LOTOS

Formal Description Techniques VIII - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34945-9_10 ◽

1996 ◽

pp. 127-142 ◽

Author(s):

E. Najm ◽

J. B. Stefani ◽

A. Février

Download Full-text