[Show "Revision History"] [Show "General Page Infos"] [Show "Page hits and edits"]

Revision History

Showing page edit history entries from 14 to 113 out of 113 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

113 13 Older
# Date Size Editor Comment Action
75 2014-07-24 13:41:45 10410 to previous jkloos   view
- 2014-07-24 12:56:33 269540 - rupak ATTNEW: stl.pdf view get
- 2014-07-24 12:56:33 269540 - rupak ATTDEL: stl.pdf view get
- 2014-07-24 09:56:47 73870 - rupak ATTNEW: hw5.pdf view get
74 2014-07-24 09:56:29 10451 to previous rupak   view
- 2014-07-21 13:04:28 282607 - rupak ATTNEW: CTL.pdf view get
- 2014-07-21 13:04:28 282607 - rupak ATTDEL: CTL.pdf view get
73 2014-07-18 11:46:07 10402 to previous jkloos   view
- 2014-07-17 13:28:26 240953 - jkloos ATTNEW: exam-solutions.pdf view get
- 2014-07-17 13:28:26 240953 - jkloos ATTDEL: exam-solutions.pdf view get
72 2014-07-16 13:19:38 10168 to previous jkloos Added practice exam solutions. view
- 2014-07-16 13:18:51 240953 - jkloos ATTNEW: exam-solutions.pdf view get
- 2014-07-16 11:06:45 293431 - rupak ATTNEW: partition.pdf view get
71 2014-07-16 11:06:00 10103 to previous rupak   view
- 2014-07-16 09:29:25 235964 - rupak ATTNEW: automata.pdf view get
70 2014-07-16 09:29:11 10053 to previous rupak   view
- 2014-07-16 09:27:47 282607 - rupak ATTNEW: CTL.pdf view get
- 2014-07-16 09:27:19 294394 - rupak ATTNEW: safetyvsliveness.pdf view get
- 2014-07-16 09:26:18 269540 - rupak ATTNEW: stl.pdf view get
69 2014-07-16 09:25:53 9905 to previous rupak   view
68 2014-07-14 08:15:11 9757 to previous fniksic   view
67 2014-07-11 09:29:02 9675 to previous jkloos Tutorial schedule view
66 2014-07-11 06:20:39 9633 to previous rupak   view
65 2014-07-11 06:20:03 9621 to previous rupak   view
- 2014-07-10 14:14:34 112597 - rupak ATTNEW: Endterm.pdf view get
64 2014-07-10 14:14:11 9595 to previous rupak   view
63 2014-07-04 15:11:55 9509 to previous fniksic   view
- 2014-07-04 15:11:02 380908 - fniksic ATTNEW: marktoberdorf-notes.pdf view get
62 2014-07-03 09:53:27 9426 to previous fniksic   view
61 2014-07-03 09:53:06 9425 to previous fniksic   view
- 2014-07-02 13:33:53 98266 - fniksic ATTNEW: hw4.pdf view get
60 2014-07-02 13:32:22 9377 to previous fniksic   view
59 2014-06-23 08:56:30 9275 to previous jkloos Contents of lecture 17 view
58 2014-06-20 12:44:59 9229 to previous jkloos What we're doing today. view
57 2014-06-16 12:34:00 9187 to previous jkloos Lecture # added. view
56 2014-06-16 12:33:26 9183 to previous jkloos Do not meddle in the affairs of parsers, for they are fickle and easy to confuse. view
55 2014-06-16 12:31:30 9185 to previous jkloos Fixed layout, again. The parser is brittle. view
54 2014-06-16 12:30:42 9183 to previous jkloos Layout. view
53 2014-06-16 12:30:11 9174 to previous jkloos Topic of today's lecture. view
52 2014-06-16 12:29:29 9146 to previous jkloos Everyone's out of town July 18-22. view
51 2014-06-13 13:20:19 9069 to previous fniksic   view
50 2014-06-13 13:16:46 9016 to previous fniksic   view
- 2014-06-13 13:15:34 209420 - fniksic ATTNEW: McMillan-Interpolation.pdf view get
49 2014-06-13 13:15:06 8920 to previous fniksic   view
48 2014-06-11 06:10:20 8888 to previous rupak   view
47 2014-06-08 20:50:19 8827 to previous fniksic   view
46 2014-06-04 09:16:00 8611 to previous fniksic   view
45 2014-06-04 09:14:52 8599 to previous fniksic   view
- 2014-06-04 09:11:37 94640 - fniksic ATTNEW: ic3_tut.pdf view get
- 2014-06-04 09:11:19 240469 - fniksic ATTNEW: ic3_bradley.pdf view get
44 2014-06-03 15:26:07 8384 to previous jkloos   view
43 2014-06-03 14:16:08 8360 to previous fniksic   view
- 2014-06-03 14:15:24 134965 - fniksic ATTNEW: hw3.pdf view get
42 2014-06-03 13:09:06 8306 to previous jkloos Changed the date of the office hours. view
41 2014-06-02 17:27:35 8309 to previous fniksic   view
- 2014-06-02 17:27:05 615106 - fniksic ATTNEW: SoftwareModelChecking.pdf view get
40 2014-06-02 17:17:54 8315 to previous fniksic   view
39 2014-06-02 17:17:36 8314 to previous fniksic   view
38 2014-06-02 17:16:51 8306 to previous fniksic   view
37 2014-06-02 05:56:40 8305 to previous rupak   view
36 2014-06-02 05:55:02 8223 to previous rupak   view
35 2014-05-21 08:13:35 8181 to previous fniksic   view
34 2014-05-21 08:05:17 7955 to previous jkloos Added Timed Automata survey view
- 2014-05-21 08:04:17 327697 - jkloos ATTNEW: Timed Automata.pdf view get
- 2014-05-21 08:03:56 327697 - jkloos ATTDEL: Timed Automata.pdf view get
- 2014-05-21 08:03:05 367403 - fniksic ATTNEW: cacm13.pdf view get
- 2014-05-21 08:02:55 101193 - fniksic ATTNEW: ieeetc86.pdf view get
- 2014-05-21 08:02:52 327697 - jkloos ATTNEW: Timed Automata.pdf view get
- 2014-05-21 07:54:22 53649 - rupak ATTNEW: Projects.pdf view get
33 2014-05-21 07:52:44 7852 to previous rupak   view
32 2014-05-21 04:36:31 7757 to previous rupak   view
31 2014-05-19 10:57:27 7683 to previous fniksic   view
30 2014-05-19 09:49:56 7681 to previous fniksic   view
29 2014-05-15 12:24:21 7562 to previous fniksic   view
28 2014-05-15 12:12:20 7562 to previous fniksic   view
27 2014-05-15 09:56:35 7536 to previous jkloos Added homework link view
- 2014-05-15 08:23:44 64747 - jkloos ATTNEW: hw2.pdf view get
26 2014-05-14 13:38:38 7501 to previous rupak   view
25 2014-05-12 11:44:00 7465 to previous fniksic   view
- 2014-05-12 11:36:24 453132 - fniksic ATTNEW: NieOT-JACM-06.pdf view get
- 2014-05-12 11:36:11 494521 - fniksic ATTNEW: Sharad Malik MOD Chapter.pdf view get
- 2014-05-12 11:33:41 257461 - fniksic ATTNEW: CavBook-3.pdf view get
24 2014-05-11 22:36:09 7074 to previous rupak   view
23 2014-05-09 11:55:50 7035 to previous fniksic   view
22 2014-05-09 11:55:18 7035 to previous fniksic   view
21 2014-05-09 11:39:42 6963 to previous fniksic   view
20 2014-05-09 11:35:06 6832 to previous fniksic   view
19 2014-05-09 11:22:22 6832 to previous fniksic   view
18 2014-05-09 10:04:57 7192 to previous fniksic   view
17 2014-05-07 07:58:26 4504 to previous jkloos Students need to do the homework for *this* course, not any VRS course. view
16 2014-05-06 09:48:20 4365 to previous jkloos Details about homework view
15 2014-05-03 21:15:37 4034 to previous fniksic   view
- 2014-05-03 21:08:48 290573 - fniksic ATTNEW: Lecture3.pdf view get
14 2014-05-02 19:45:11 3829 to previous jkloos Added lecture notes. view
- 2014-05-02 19:44:09 386436 - jkloos ATTNEW: Lecture2.pdf view get
13 2014-05-02 13:39:35 3778 to previous fniksic   view
12 2014-04-29 21:48:35 3672 to previous fniksic   view
11 2014-04-29 21:47:13 3672 to previous fniksic   view
10 2014-04-29 21:44:50 3626 to previous fniksic   view
9 2014-04-29 21:43:36 3575 to previous fniksic   view
113 13 Older