TY -
GEN
AU - Wang, Farn
TI -
Model-checking fair dense-time systems with propositions and events
PB - Springer Science and Business Media LLC
SN - 1433-2779
SN - 1433-2787
KW - Information Systems
KW - Software
PY - 2015
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -