FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
| Autor: | Nicolxe1s D'Ippolito, Vxedctor A. Braberman, Nir Piterman, Sebastixe1n Uchitel |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2012 |
| Zdroj: | The Modal Transition System Control Problem. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|