אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית +

Formal methods for asynchronous systems
.טכנול	Méthodes formelles pour systèmes asynchrones