TY - GEN
AU - Kuiper, Ruurd
TI - Temporal Logic in Specification: Enforcing nondeterminism via linear time temporal logic specifications using hiding
PB - Springer Berlin Heidelberg
SN - 0302-9743
SN - 1611-3349
PY - 1989
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation