Seminar "Model Checking" (WS 2006/2007)
Im kommenden WS bietet die THI ein Seminar zum Thema "Model Checking" an. Für alle Interessierten gibt es auf unserer
Homepage nähere Informationen.
This post has been edited 1 times, last edit by "Thrawn" (Jun 19th 2006, 12:37pm)