Verificarea modelelor formale
|
LDR | 00093nx j2200049 | |
---|---|---|
001 | 102828 | |
250 | $a Verificarea modelelor formale | |
901 | $a a $b a |
Lucrări:
1 lucrari in 1 publicatii in 1 limbi
1 records Page 1 of 1
- 1
Model Checking
de:
Clarke, Edmund M., Jr.; Peled, Doron A.; Grumberg, Orna
(Text tipărit)