Verificarea modelelor formale

Subiect Tematic:	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

Model Checking de: Clarke, Edmund M., Jr.; Peled, Doron A.; Grumberg, Orna (Text tipărit)

Subiecte