Thursday, March 03, 2005

mu-calculus and CTL

Ch 6 of Model Checking No lecture 8th March. Meet instead on Wednesday 9th 2pm.

0 Comments:

Post a Comment

<< Home