- Tytuł:
- Branching-Time Model Checking Gap-Order Constraint Systems
- Autorzy:
-
Mayr, R.
Totzke, P. - Data publikacji:
- 2016
- Słowa kluczowe:
-
mathematical models
problem solving
branching processes
integers
variables
computational complexity - Pokaż więcej
- Dostawca treści:
- BazTech