%0
Generic
%T
Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele ; Symbolic methods for probabilistic verification
%A Wimmer, Ralf
%K Bisimulation
%K Markov-Kette
%K OBDD
%K Bounded Model Checking
%K Online-Ressource
%K Binäres Entscheidungsdiagramm
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2