PT Unknown
AU Alimguzhin, V
   Mari, F
   Melatti, I
   Salvo, I
   Tronci, E
TI On-the-Fly Control Software Synthesis
BT Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)
PY 2013
BP 61
EP 80
VL 7976
DI 10.1007/978-3-642-39176-7_5
ER