H. Bal, L. Brim, и M. Leucker. Distributed Verification and Grid Computing, том 08332 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)
H. Bal, L. Brim, и M. Leucker. Distributed Verification and Grid Computing, том 08332 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)
G. Scholten, N. Palmer, R. Kemp, T. Kielmann, и H. Bal. MobiCASE, том 76 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 302-305. Springer, (2010)
G. Scholten, N. Palmer, R. Kemp, T. Kielmann, и H. Bal. MobiCASE, том 76 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 302-305. Springer, (2010)