Diary Entry: 2010-10-11 00:00:00 - 2010-10-11 00:00:00

The group has a meeting where Phil presents on his recent trip to DSM-TP 2010. The presentation is based on a practical demonstration of the AlPiNA Model Checker.