Citations refer to the original publication, not to a Scieee translation.
Luengo Agulló, C. (2015). Verification of temporal properties of infinite state systems. Universitat Politècnica de Catalunya. https://upcommons.upc.edu/handle/2117/77255
Luengo Agulló, Cristina. Verification of temporal properties of infinite state systems. Universitat Politècnica de Catalunya, 2015. https://upcommons.upc.edu/handle/2117/77255.
Luengo Agulló, Cristina. Verification of temporal properties of infinite state systems. Universitat Politècnica de Catalunya, 2015. https://upcommons.upc.edu/handle/2117/77255.
Luengo Agulló, C. (2015) Verification of temporal properties of infinite state systems. Universitat Politècnica de Catalunya. Available at: https://upcommons.upc.edu/handle/2117/77255.
C. Luengo Agulló, “Verification of temporal properties of infinite state systems,” Universitat Politècnica de Catalunya, 2015. [Online]. Available: https://upcommons.upc.edu/handle/2117/77255
@misc{luengoagullo2015verification,
author = {Luengo Agulló, Cristina},
title = {Verification of temporal properties of infinite state systems},
year = {2015},
publisher = {Universitat Politècnica de Catalunya},
url = {https://upcommons.upc.edu/handle/2117/77255}
}
