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) |