Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme: = Symbolic BDD-based Model Checking of Asynchronous Concurrent Systems
Saved in:
Bibliographic Details
Main Author: Appold, Christian ca. 21. Jh (Author)
Format: Thesis Book
Language:German
Published: Würzburg 2015
Subjects:
Online Access:kostenfrei
Physical Description:328 Seiten

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text