%0 Journal Article %1 journals/jlp/VarshosazLMLM19 %A Varshosaz, Mahsa %A Luthmann, Lars %A Mohr, Paul %A Lochau, Malte %A Mousavi, Mohammad Reza %D 2019 %J J. Log. Algebraic Methods Program. %K dblp %P 1-28 %T Modal transition system encoding of featured transition systems. %U http://dblp.uni-trier.de/db/journals/jlp/jlp106.html#VarshosazLMLM19 %V 106

@article{journals/jlp/VarshosazLMLM19, added-at = {2020-07-11T00:00:00.000+0200}, author = {Varshosaz, Mahsa and Luthmann, Lars and Mohr, Paul and Lochau, Malte and Mousavi, Mohammad Reza}, biburl = {https://www.bibsonomy.org/bibtex/2c9b75aec0f64e0a2460e221aacae8736/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2019.03.003}, interhash = {dffae98cc0b423000d4450c1c772c598}, intrahash = {c9b75aec0f64e0a2460e221aacae8736}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = {1-28}, timestamp = {2020-07-24T00:04:18.000+0200}, title = {Modal transition system encoding of featured transition systems.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp106.html#VarshosazLMLM19}, volume = 106, year = 2019 }