2009 CAV award announcement.

Randal E. Bryant Orna Grumberg Joseph Sifakis Moshe Y. Vardi

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

invited talk
selected papers
neural network
data mining
artificial intelligence
artificial neural networks
learning resources
conference proceedings