Old Revisions

• 2013/05/13 17:36 magik-demo:school-usecase – removed admin
• 2012/06/27 19:07 magik-demo:school-usecase – [Example 2: TC-QC under Finite Domain Constraints] cikm2012
• 2012/06/26 17:03 magik-demo:school-usecase – [Introduction] cikm2012
• 2012/06/25 04:25 magik-demo:school-usecase – [Example 2: TC-QC under Finite Domain Constraints] cikm2012
• 2012/06/25 04:08 magik-demo:school-usecase – [Example 4: TC-QC under Foreign Keys and Finite Domain Constraints] cikm2012
• 2012/06/25 04:05 magik-demo:school-usecase – [Example 4: TC-QC under Foreign Keys and Finite Domain Constraints] cikm2012
• 2012/06/25 04:04 magik-demo:school-usecase – [Example 4: TC-QC under Foreign Keys and Finite Domain Constraints] cikm2012
• 2012/06/25 03:33 magik-demo:school-usecase – [Example 1: TC-QC plain] cikm2012
• 2012/06/25 02:21 magik-demo:school-usecase – [Example 5: TC-QC under Set and Bag semantics] cikm2012
• 2012/06/25 02:13 magik-demo:school-usecase – [Example 4: TC-QC under Foreign Keys and Finite Domain Constraints] cikm2012
• 2012/06/25 02:12 magik-demo:school-usecase – [Example 4: TC-QC under Foreign Keys and Finite Domain Constraints] cikm2012
• 2012/06/25 02:05 magik-demo:school-usecase – [Example 3: TC-QC under Foreign Keys] cikm2012
• 2012/06/25 01:46 magik-demo:school-usecase – [Example 2: TC-QC under Finite Domain Constraints] cikm2012
• 2012/06/25 01:39 magik-demo:school-usecase – [Example 1: TC-QC plain] cikm2012
• 2012/06/25 01:39 magik-demo:school-usecase – [Example 1: TC-QC plain] cikm2012
• 2012/06/25 01:30 magik-demo:school-usecase – [Example 1: TC-QC plain] cikm2012
• 2012/06/25 01:18 magik-demo:school-usecase – [Introduction] cikm2012
• 2012/06/25 01:14 magik-demo:school-usecase – [Introduction] cikm2012
• 2012/06/25 01:12 magik-demo:school-usecase – [Example 1: TC-QC plain] cikm2012
• 2012/06/25 01:00 magik-demo:school-usecase – [Example 5: TC-QC under Set and Bag semantics] osavkovic

Show differences between selected revisions