[
Back
]
| Title | Formal verification for petri nets |
| Author | Damien MORARD |
| Director of thesis | Professor Didier Buchs |
| Co-director of thesis | |
| Summary of thesis | |
| Status | beginning |
| Administrative delay for the defence | 2023 |
| URL | |
| Title | Formal verification for petri nets |
| Author | Damien MORARD |
| Director of thesis | Professor Didier Buchs |
| Co-director of thesis | |
| Summary of thesis | |
| Status | beginning |
| Administrative delay for the defence | 2023 |
| URL | |