Citations refer to the original publication, not to a Scieee localized version.
Cholvy, L., & Demolombe, R. (1994). Reasoning about the safety of information: from logical formalization to operational definition. Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics. https://upcommons.upc.edu/handle/2117/376073
Cholvy, Laurence, and Robert Demolombe. Reasoning about the safety of information: from logical formalization to operational definition. Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994. https://upcommons.upc.edu/handle/2117/376073.
Cholvy, Laurence, and Robert Demolombe. Reasoning about the safety of information: from logical formalization to operational definition. Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994. https://upcommons.upc.edu/handle/2117/376073.
Cholvy, L. and Demolombe, R. (1994) Reasoning about the safety of information: from logical formalization to operational definition. Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics. Available at: https://upcommons.upc.edu/handle/2117/376073.
L. Cholvy and R. Demolombe, “Reasoning about the safety of information: from logical formalization to operational definition,” Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994. [Online]. Available: https://upcommons.upc.edu/handle/2117/376073
@misc{cholvy1994reasoning,
author = {Cholvy, Laurence and Demolombe, Robert},
title = {Reasoning about the safety of information: from logical formalization to operational definition},
year = {1994},
pages = {345--373},
publisher = {Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics},
url = {https://upcommons.upc.edu/handle/2117/376073}
}
The source metadata has no journal or volume. Add them from the original publication if your citation needs them.