Model checking and synthesis for branching multi-weighted logics
| Autor: | Jensen, L.S., Kaufmann, I., Larsen, K.G., Nielsen, S.M., Srba, J. |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming June 2019 105:28-46 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect