Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel
The Modal Transition System Control Problem
FM, 2012.
@inproceedings{FM-2012-DIppolitoBPU,
author = "Nicolás D'Ippolito and Víctor A. Braberman and Nir Piterman and Sebastián Uchitel",
booktitle = "{Proceedings of the 18th International Symposium of Formal Methods}",
doi = "10.1007/978-3-642-32759-9_15",
isbn = "978-3-642-32758-2",
pages = "155--170",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The Modal Transition System Control Problem}",
volume = 7436,
year = 2012,
}
Tags: