Alberto Del Bimbo, Luigi Rella, Enrico Vicario. Visual Specification of Branching Time Temporal Logic. In VL. pages 61-68, 1995. [doi]
@inproceedings{BimboRV95,
title = {Visual Specification of Branching Time Temporal Logic},
author = {Alberto Del Bimbo and Luigi Rella and Enrico Vicario},
year = {1995},
url = {http://computer.org/proceedings/vl/7045/70450061abs.htm},
tags = {logic},
researchr = {https://researchr.org/publication/BimboRV95},
cites = {0},
citedby = {0},
pages = {61-68},
booktitle = {VL},
}