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

• Other Authors: Σταυρόπουλος, Ηλίας Χ., καββαδίας, Δημήτρης Ι., Kavvadias Dimitris J., Stavropoulos Elias C.
• Format: Book
• Published: Patras-Hellas CTI c2003
• Subjects: TECHNICAL REPORT; CTI TR 2003; ΤΕΧΝIΚΗ ΑΝΑΦΟΡΑ
• Physical Description: 1-13 p. fig.
• Bibliography: references: 10-11p.