Filter by: Subject
Now showing items 1-10 of 1
| Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984) (1) |
| Petri nets (1) |
| algorithmics (1) |
| algorithmique (1) |
| branchement infini (1) |
| complexité du calcul (1) |
| computational complexity (1) |
| coverability problem (1) |
| formal verification (1) |
| infinite branching (1) |