Events

e65
January 22, 2010PhD Defense: Model checking nondeterministic and randomly timed systems
Martin Neuhausser

To be announced.