Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02

• Άλλοι συγγραφείς: Σταυρόπουλος, Ηλίας Χ., καββαδίας, Δημήτρης Ι., Kavvadias Dimitris J., Stavropoulos Elias C.
• Μορφή: Βιβλίο
• Έκδοση: Patras-Hellas CTI c2003
• Θέματα: TECHNICAL REPORT; CTI TR 2003; ΤΕΧΝIΚΗ ΑΝΑΦΟΡΑ
• Φυσική περιγραφή: 1-13 p. fig.
• Βιβλιογραφία: references: 10-11p.