2010 CAV award announcement.

Orna Grumberg Moshe Y. Vardi Joseph Sifakis Rajeev Alur

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

Keyphrases

invited talk
selected papers
databases
expert systems
artificial neural networks
conference proceedings