Timeline for What are practically computable properties of Labelled Transition Systems?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 24, 2013 at 7:47 | history | edited | meolic | CC BY-SA 3.0 |
added 19 characters in body
|
| Oct 26, 2011 at 20:48 | history | answered | meolic | CC BY-SA 3.0 |