Author: Luigi Rella

Luigi Rella

Luigi Rella

Publications

Publication period start: 1995
Publication period end: 1995
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Alberto Del Bimbo
1
Enrico Vicario
1

Productive Colleagues

Most productive colleagues in number of publications
Enrico Vicario
12
Alberto Del Bimbo
36

Publications

Bimbo, Alberto Del, Rella, Luigi, Vicario, Enrico (1995): Visual Specification of Branching Time Temporal Logic. In: VL 1995 , 1995, . pp. 61-68. http://csdl.computer.org/comp/proceedings/vl/1995/7045/00/70450061abs.htm