Beyond Safety Home
The workshop will take place at
Schloss Ringberg, Germany
April 25-28, 2004
sponsored in part by the John von Neumann Minerva Center for Verification of Reactive Systems
Lectures and Handouts
« back
|
home
|
top ^
