author = { Dunets, Andriy AND Bäumler, Simon AND Hommersom, Arjen AND Reif, Wolfgang },

title = { Model Checking of Asbru },

keywords = { Model Checking },

year = {2009-07-27},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }