TY  - CONF
AU  - Alimguzhin, Vadim
AU  - Mari, Federico
AU  - Melatti, Igor
AU  - Salvo, Ivano
AU  - Tronci, Enrico
PY  - 2013
DA  - 2013//
TI  - On-the-Fly Control Software Synthesis
T2  - International SPIN Symposium on Model Checking of Software
BT  - Proceedings 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  - 0302-9743
SN  - 978-3-642-39175-0
L1  - http://mclab.di.uniroma1.it/publications/papers/vadimalimghuzin/2013/111_VadimAlimghuzin2013.pdf
UR  - https://doi.org/10.1007/978-3-642-39176-7_5
DO  - 10.1007/978-3-642-39176-7_5
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=111), last updated on Thu, 27 Apr 2017 11:35:30 +0200
ID  - Alimguzhin_etal2013
ER  -