Model Checking and Artificial Intelligence: 6th International Workshop, MOCHART 2010, Atlanta, GA, USA, July 11, 2010 : Revised Selected and Invited Papers Model Checking and Artificial Intelligence: 6th International Workshop, MOCHART 2010, Atlanta, GA, USA, July 11, 2010 : Revised Selected and Invited Papers
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : Advanced Lectures Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : Advanced Lectures