Property Specification Language (Catalan Wikipedia)

Analysis of information sources in references of the Wikipedia article "Property Specification Language" in Catalan language version.

Last modified: 00:01:42, 13 September 2026 (UTC)

Ref.Un. Ref.Website

Global rank Catalan rank

2^nd place

4^th place

low place

low place

912^th place

402^nd place

11semiengineering.com

low place

6,702^nd place

569^th place

602^nd place

11sciencedirect.com

137^th place

79^th place

4^th place

6^th place

cam.ac.uk (Global: 569^th place; Catalan: 602^nd place)

cl.cam.ac.uk

«ACS P35-16/18 SoC D/M Slide Pack 3.1 (Assertion Based Design): Property Specification Language (PSL)» (en anglès). [Consulta: 23 març 2025].

doi.org (Global: 2^nd place; Catalan: 4^th place)

dx.doi.org

«IEEE Standard for Property Specification Language (PSL)». IEEE Std 1850-2010 (Revision of IEEE Std 1850-2005), 4-2010, p. 1–182. DOI: 10.1109/IEEESTD.2010.5446004.
Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy «Evaluation of visual property specification languages based on practical model-checking experience». Journal of Systems and Software, 216, 01-10-2024, p. 112153. DOI: 10.1016/j.jss.2024.112153. ISSN: 0164-1212.

doulos.com (Global: low place; Catalan: low place)

«PSL KnowHow» (en anglès). [Consulta: 23 març 2025].

ieee.org (Global: 912^th place; Catalan: 402^nd place)

ieeexplore.ieee.org

«IEEE Standard for Property Specification Language (PSL)». IEEE Std 1850-2010 (Revision of IEEE Std 1850-2005), 4-2010, p. 1–182. DOI: 10.1109/IEEESTD.2010.5446004.

sciencedirect.com (Global: 137^th place; Catalan: 79^th place)

Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy «Evaluation of visual property specification languages based on practical model-checking experience». Journal of Systems and Software, 216, 01-10-2024, p. 112153. DOI: 10.1016/j.jss.2024.112153. ISSN: 0164-1212.

semiengineering.com (Global: low place; Catalan: 6,702^nd place)

«Property Specification Language» (en anglès). [Consulta: 23 març 2025].

worldcat.org (Global: 4^th place; Catalan: 6^th place)

Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy «Evaluation of visual property specification languages based on practical model-checking experience». Journal of Systems and Software, 216, 01-10-2024, p. 112153. DOI: 10.1016/j.jss.2024.112153. ISSN: 0164-1212.