Cut-off theorems for the PV-model

Lisbeth Fajstrup. Cut-off theorems for the PV-model. Formal Methods in System Design, 59(1):21-43, 2021. [doi]

@article{Fajstrup21,
  title = {Cut-off theorems for the PV-model},
  author = {Lisbeth Fajstrup},
  year = {2021},
  doi = {10.1007/s10703-022-00393-9},
  url = {https://doi.org/10.1007/s10703-022-00393-9},
  researchr = {https://researchr.org/publication/Fajstrup21},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {59},
  number = {1},
  pages = {21-43},
}