Model Checking Using Tree-width Methods: Old and New

Speaker:
Isolde Adler SPECIAL LECTURE note unusual hour
Date:
Thursday, 18.3.2010, 11:30
Place:
Room 601 Taub Bld.
Link:
http://www.cs.technion.ac.il/~colloq/20100318_11_30_Adler.html

Back to the index of events