PhD Defense: Model checking nondeterministic and randomly timed systems
When: Jan. 22, 2010, 0:00 - Jan. 22, 2010, 23:59
Who: Martin Neuhausser
To be announced.
PhD Defense: Model checking nondeterministic and randomly timed systemsWhen: Jan. 22, 2010, 0:00 - Jan. 22, 2010, 23:59 Who: Martin Neuhausser To be announced. |