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}, }