×
2001
Model Checking with Formula-Dependent Abstract Models.
[DOI]
Alexander Asteroth
,
Christel Baier
,
Ulrich Aßmann
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1992
Parallele Modelle für Deduktionssysteme.
[DOI]
Ulrich Aßmann
PhD thesis, 1992