Timeline for What are practically computable properties of Labelled Transition Systems?
Current License: CC BY-SA 2.5
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 16, 2011 at 12:25 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |