@MASTERSTHESIS{Liberman1995studien, author = {Boris Liberman}, title = {Petrinetzbasierte Spezifikation und Kontrolle migrierender Agenten}, school = {Universität Hamburg, Fachbereich Informatik}, year = {1995}, type = {Studienarbeit}, address = {Vogt-Kölln-Str. 30, 22527 Hamburg, Germany}, month = {10} }