TY - GEN
AU - Güdemann, Matthias
AU - Ortmeier, Frank
AU - Reif, Wolfgang
TI - Lecture Notes in Computer Science: Formal Modeling and Verification of Systems with Self-x Properties
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2006
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation