Modal transition system encoding of featured transition systems
| Autor: | Varshosaz, Mahsa, Luthmann, Lars, Mohr, Paul, Lochau, Malte, Mousavi, Mohammad Reza |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming August 2019 106:1-28 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect