MSc Presentation: Symbolic Model Checking using Zero Suppressed Diagrams

When: Nov. 26, 2014, 14:00-15:00

Where: Ra 2231

Who: Maryam Hajighasemi