Afstudeercolloquium meneer de nestor
Datum | tot |
Locatie | UT, Cubicus B209 |
Afstudeercolloquium van Gijs Kant, getiteld Distributed Model Checking using State Vectors for Graphs up to Isomorphism. Datum: donderdag 26 augustus 2010, 14:00 uur. Locatie: UT, Cubicus B209 Mee...
Afstudeercolloquium van Gijs Kant, getiteld Distributed Model Checking using State Vectors for Graphs up to Isomorphism.
Datum: donderdag 26 augustus 2010, 14:00 uur.
Locatie: UT, Cubicus B209
Meer informatie: http://www.cs.utwente.nl/~kant.