Verifying Nondeterministic Implementations of Deterministic Systems.

Alok Jain Kyle L. Nelson Randal E. Bryant

Published in: FMCAD (1996)

Keyphrases

management system
intelligent systems
building blocks
complex systems
database
information retrieval
artificial intelligence
multiscale
probability distribution
distributed systems