Ahmed Rezine, Liafa Laboratory, Paris: Verification of Safety Properties of Parameterized Systems.
Wednesday, 10.12.2008 17:00 im Raum M5
Angelegt am 21.11.2008 von N. N
Geändert am 21.11.2008 von N. N
[Edit | Vorlage]
Aktuelles aus der Informatik
Kolloquium der Informatik