TY
-
BOOK
AU
-
Wolf, Karsten
TI
-
Integrating low level symmetries into reachability analysis
PB
-
Inst. für Informatik
PY
-
1999
BT
-
Informatik-Berichte ; 122
CY
-
Berlin
UR
-
http://slubdd.de/katalog?TN_libero_mab2
ER
-
Download citation