PT Journal
AU Ziller, R
   Schneider, K
TI Combining supervisor synthesis and model checking
SO ACM transactions on embedded computing systems
PY 2005
BP 331
EP 362
VL 4
IS 2
DI 10.1145/1067915.1067920
LA english
ER