Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings van der Meyden, Ron Heftet / 2008 / Engelsk
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers van der Meyden, Ron Heftet / 2011 / Engelsk
