MSc Presentation: Symbolic Model Checking using Zero Suppressed Diagrams
When: Nov. 26, 2014, 14:00-15:00
Where: Ra 2231
Who: Maryam Hajighasemi
MSc Presentation: Symbolic Model Checking using Zero Suppressed DiagramsWhen: Nov. 26, 2014, 14:00-15:00 Where: Ra 2231 Who: Maryam Hajighasemi |