TY  - RPRT
TI  - 3vLTL: A Tool to Generate Automata for Three-valued LTL
AU  - Francesco Belardinelli
AU  - Angelo Ferrando
AU  - Vadim Malvone
PY  - 2023
DO  - 10.4204/eptcs.395.13
UR  - https://arxiv.org/abs/2311.09787
ID  - 2311.09787
ER  -