Calendar
Tue 08 March
-
Seminar, Theoretical computer science
Tuesday 2016-03-08, 12:00
Participating: Karem Sakallah, University of Michigan and Qatar Computing Research Institute
Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminar, Theoretical computer science)