Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers Edelkamp Stefan Heftet / 2007 / Engelsk
Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings Lomuscio Alessio Heftet / 2004 / Engelsk
Service-Oriented Computing--ICSOC 2013 Workshops CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers Lomuscio Alessio Heftet / 2014 / Engelsk
