%0
Generic
%T
Model Checking of Asbru
%A Dunets, Andriy
%A Bäumler, Simon
%A Hommersom, Arjen
%A Reif, Wolfgang
%K Model Checking
%D 2009-07-27
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2