%0 Conference Paper %1 conf/fm/DIppolitoBPU12 %A D'Ippolito, Nicolás %A Braberman, Víctor A. %A Piterman, Nir %A Uchitel, Sebastián %B FM %D 2012 %E Giannakopoulou, Dimitra %E Méry, Dominique %I Springer %K %P 155-170 %T The Modal Transition System Control Problem. %U http://dblp.uni-trier.de/db/conf/fm/fm2012.html#DIppolitoBPU12 %V 7436 %@ 978-3-642-32758-2

@inproceedings{conf/fm/DIppolitoBPU12, added-at = {2023-12-13T04:20:04.000+0100}, author = {D'Ippolito, Nicolás and Braberman, Víctor A. and Piterman, Nir and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/22555aaf12eb7521622343ee8a970c1be/admin}, booktitle = {FM}, crossref = {conf/fm/2012}, editor = {Giannakopoulou, Dimitra and Méry, Dominique}, ee = {https://doi.org/10.1007/978-3-642-32759-9_15}, interhash = {947b42bf99e89a39aedf1ab6da4bbe19}, intrahash = {2555aaf12eb7521622343ee8a970c1be}, isbn = {978-3-642-32758-2}, keywords = {}, pages = {155-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:20:04.000+0100}, title = {The Modal Transition System Control Problem.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2012.html#DIppolitoBPU12}, volume = 7436, year = 2012 }