Author: Luigi Rella
Publication Overview
Publication period start: 1995
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Bimbo,
Alberto Del,
Rella,
Luigi,
Vicario,
Enrico
(1995):
Visual Specification of Branching Time Temporal Logic.
In:
VL 1995
,
1995,
.
pp. 61-68.
https://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450061abs.htm