H. Bal, L. Brim, und M. Leucker. Distributed Verification and Grid Computing, Volume 08332 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)
H. Bal, L. Brim, und M. Leucker. Distributed Verification and Grid Computing, Volume 08332 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)