Timeline for Papers on applying CTL over LTSs
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2011 at 1:58 | vote | accept | Camilo | ||
| Apr 21, 2011 at 1:57 | comment | added | Camilo | Thanks, and yes simpler is probably a bad adjective to attach, maybe I used it because I learned LTSs first so they seem more natural to me but objectively there is no reason why they are simpler. Thanks for the links they do seem to be what I'm looking for. | |
| Apr 20, 2011 at 21:51 | history | answered | Vijay D | CC BY-SA 3.0 |