- Tytuł:
- SAT-based Reachability Checking for Timed Automata with Diagonal Constraints
- Autorzy:
- Zbrzezny, A.
- Data publikacji:
- 2005
- Słowa kluczowe:
-
probabilistic automata
production scheduling
machine theory - Pokaż więcej
- Dostawca treści:
- BazTech