Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
CTL symbolic model checking
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
progr.
CTL symbolic model checking
символьная верификация моделей для CTL
(Computation Tree Logic
ssn
)
progr.
CTL symbolic model checking
algorithm
алгоритм символьной верификации моделей для CTL
(Computation Tree Logic
ssn
)
Get short URL