Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06

• Main Authors: Keulen van, E. (Author), Νούσια, Δώρα (Author), Χριστοδουλάκης, Δημήτριος Νικ (Author)
• Format: Book
• Language: English
• Published: Patras Greece Πάτρα Ελλάδα Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών 1991
• Subjects: CTI TR 1991; TECHNICAL REPORT; ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ