TY  - RPRT
TI  - Temporal Logic and Model Checking for Operator Precedence Languages
AU  - Michele Chiari
AU  - Dino Mandrioli
AU  - Matteo Pradella
PY  - 2018
DO  - 10.4204/eptcs.277.12
UR  - https://arxiv.org/abs/1809.03100
ID  - 1809.03100
ER  -