|
Jun 22, 2016, 12:22 PM
|
Marieke Huisman edited Solutions
|
|
Jun 22, 2016, 12:21 PM
|
Marieke Huisman edited Solutions
|
|
Jun 22, 2016, 12:14 PM
|
Marieke Huisman edited Solutions
|
|
Jun 22, 2016, 12:13 PM
|
Marieke Huisman edited Solutions
|
|
Jun 22, 2016, 12:10 PM
|
Marieke Huisman attached challenge3-v2.mcrl2 to Solutions
|
|
Jun 22, 2016, 12:10 PM
|
Marieke Huisman attached challenge2.mcrl2 to Solutions
|
|
Jun 22, 2016, 12:10 PM
|
Marieke Huisman attached modal_formula.mcf to Solutions
|
|
Jun 22, 2016, 12:09 PM
|
Marieke Huisman attached challenge1.mcrl2 to Solutions
|
|
Jun 22, 2016, 12:08 PM
|
Marieke Huisman edited Solutions
|
|
Apr 15, 2016, 1:36 AM
|
Marieke Huisman edited Solutions
|
|
Apr 10, 2016, 1:19 PM
|
Marieke Huisman edited Solutions
|
|
Apr 6, 2016, 5:25 AM
|
Marieke Huisman edited Solutions
|
|
Apr 6, 2016, 3:03 AM
|
Marieke Huisman edited Organizer's Report
|
|
Apr 6, 2016, 3:01 AM
|
Marieke Huisman edited Organizer Report
|
|
Apr 6, 2016, 3:01 AM
|
Marieke Huisman edited Organizer Report
|
|
Apr 6, 2016, 3:00 AM
|
Marieke Huisman attached report.pdf to Organizer Report
|
|
Apr 6, 2016, 2:56 AM
|
Marieke Huisman created Organizer Report
|
|
Apr 5, 2016, 10:38 AM
|
Marieke Huisman edited Solutions
|
|
Apr 5, 2016, 10:38 AM
|
Marieke Huisman edited Solutions
|
|
Apr 5, 2016, 10:33 AM
|
Marieke Huisman created Solutions
|
|
Apr 17, 2015, 3:24 AM
|
Vladimir Klebanov edited Challenges
|
|
Apr 15, 2015, 3:38 PM
|
Vladimir Klebanov edited Home
|
|
Apr 15, 2015, 3:35 PM
|
Vladimir Klebanov edited Results
|
|
Apr 15, 2015, 3:31 PM
|
Vladimir Klebanov created Results
|
|
Apr 12, 2015, 4:22 AM
|
Vladimir Klebanov edited Home
|
|