Timeline for References on model checking and pi calculi
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2012 at 18:43 | history | edited | Martin Berger | CC BY-SA 3.0 |
added 84 characters in body
|
| Dec 23, 2012 at 10:36 | history | answered | Martin Berger | CC BY-SA 3.0 |