C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers.
Sérgio Vale Aguiar Campos
Published in:
FORTE (1998)
Keyphrases
</>
high level
genetic algorithm
neural network
low level
lightweight
variable selection
building blocks
cost effective
input variables
finite domain