« September 2005 | Main | November 2005 »
October 20, 2005
model checking for real-time systems
model checking for real-time systems
Posted by tonga at 10:48 AM | Comments (0)
October 03, 2005
Proposals due Wednesday 10/05, for sure
The proposals for the semester project are due Wednesday. See the syllabus for details on what to put in the proposal.
Posted by jones at 10:13 AM | Comments (0)