Calendar
Mon 14 December
-
Seminar, Theoretical computer science
Monday 2015-12-14, 12:00
Participating: Kristin Yvonne Rozier, University of Cincinnati
Location: Room 4523, Lindstedtsvägen 5
2015-12-14T12:00:00.316+01:00 2015-12-14T12:00:00.316+01:00 Kristin Yvonne Rozier: Linear temporal logic satisfiability checking (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Kristin Yvonne Rozier: Linear temporal logic satisfiability checking (Seminar, Theoretical computer science)