Events

e331
November 26, 2014MSc Presentation: Symbolic Model Checking using Zero Suppressed Diagrams
Room: Ra 2231Maryam Hajighasemi
14:00-15:00

project description