%0
Generic
%T
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
%A Appold, Christian
%A Kolla, Reiner
%A Scholl, Christoph
%I Universität Würzburg
%K Model Checking
%K Algorithmus
%K Temporale Logik
%K Kripke-Struktur
%K Relation
%K Programmverifikation
%K Modellprüfung
%K Geordnetes binäres Entscheidungsdiagramm
%K Nebenläufigkeit
%K Algorithmen
%K Symbolic Model Checking
%K Binary Decision Diagram
%K Symmetry Reduction
%K Image Computation
%K Algorithms
%K Reachability Analysis
%K Concurrent Systems
%K Hochschulschrift
%D 2016
%C Universität Würzburg
%C Würzburg
%U http://slubdd.de/katalog?TN_libero_mab2