TY  - CONF
AU  - Alimguzhin, Vadim
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
PY  - 2013//
TI  - On-the-Fly Control Software Synthesis
BT  - Proc. of International SPIN Symposium on Model Checking of Software (SPIN 2013)
T3  - Lecture Notes in Computer Science
SP  - 61
EP  - 80
VL  - 7976
PB  - Springer - Verlag
SN  - 978-3-642-39175-0
L1  - papers/alimguzhin/2013/18_Alimguzhin_etal2013.pdf
UR  - http://dx.doi.org/10.1007/978-3-642-39176-7_5
N1  - exported from refbase (show.php?record=18), last updated on Thu, 07 Nov 2013 15:27:45 +0100
ID  - Alimguzhin_etal2013
ER  -