Sophie Wallner, Karsten Wolf. Skeleton Abstraction for Universal Temporal Properties. Fundamenta Informaticae, 187(2-4):245-272, 2022. [doi]
@article{WallnerW22,
title = {Skeleton Abstraction for Universal Temporal Properties},
author = {Sophie Wallner and Karsten Wolf},
year = {2022},
doi = {10.3233/FI-222138},
url = {https://doi.org/10.3233/FI-222138},
researchr = {https://researchr.org/publication/WallnerW22},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {187},
number = {2-4},
pages = {245-272},
}