Change 11280
| Time | Attribute with previous and current values | ||||||||
|---|---|---|---|---|---|---|---|---|---|
|
Change #11280
2011-10-21
16:06:56
|
update Calagator::Event 1250461509 A New Approach to Temporal Property Verification, Brian Cook, Principal Researcher, Microsoft Research Cambridge and Professor of Computer Science at Queen Mary, University of London Roll back
|