TY - GEN
AU - Schuppan, Viktor
AU - Biere, Armin
TI - Shortest Counterexamples for Symbolic Model Checking of LTL with Past
PB - ETH, Department of Computer Science
KW - Data processing
KW - computer science
PY - 2005
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
BT - Technical report, 470
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation