TY - GEN
AU - Beneš, Nikola
AU - Černá, Ivana
AU - Křetínský, Jan
TI - Automated Technology for Verification and Analysis: Modal Transition Systems: Composition and LTL Model Checking
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 2011
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation