Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk).

Alessandro Armando Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/invited-1.pdf conf/cade/2008paar db/conf/cade/paar2008.html#Armando08