TY -
GEN
AU - Szpyrka, Marcin
AU - Szmuc, Tomasz
TI -
Lecture Notes in Computer Science: Verification of Automatic Train Protection Systems with RTCP-Nets
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2006
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -