%0 Conference Proceedings %T On-the-Fly Control Software Synthesis %A Alimguzhin, Vadim %A Mari, Federico %A Melatti, Igor %A Salvo, Ivano %A Tronci, Enrico %S Proceedings of International SPIN Symposium on Model Checking of Software (SPIN 2013) %S Lecture Notes in Computer Science %D 2013 %V 7976 %I Springer - Verlag %@ 0302-9743 %@ 978-3-642-39175-0 %F Alimguzhin_etal2013 %O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=111), last updated on Thu, 27 Apr 2017 11:35:30 +0200 %R 10.1007/978-3-642-39176-7_5 %U http://mclab.di.uniroma1.it/publications/papers/vadimalimghuzin/2013/111_VadimAlimghuzin2013.pdf %U https://doi.org/10.1007/978-3-642-39176-7_5 %P 61-80