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

Formal methods for asynchronous systems
.טכנול	τυπικές μέθοδοι για ασύγχρονα συστήματα