%0 Generic
%T 06351 Summary – Methods for Modelling Software Systems (MMOSS)
%A Brinksma, Ed
%A Harel, David
%A Mader, Angelika
%A Stevens, Perdita
%A Wieringa, Roel
%A Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Design Models
%K Problem-solution co-refinement
%K Verification Models
%K Modelling Methods
%D 2007
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation