MSc Presentation: Improving Reachability Analysis in LTSmin
When: March 27, 2014, 16:00-17:15
Where: Carre 3C
Who: Jeroen Meijer
To be announced.
MSc Presentation: Improving Reachability Analysis in LTSminWhen: March 27, 2014, 16:00-17:15 Where: Carre 3C Who: Jeroen Meijer To be announced. |