Kalender
Ti 8 mars
-
Seminarium, Teoretisk datalogi
tisdag 2016-03-08, 12.00
Medverkande: Karem Sakallah, University of Michigan and Qatar Computing Research Institute
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-03-08T12:00:00.677+01:00 2016-03-08T12:00:00.677+01:00 Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi)