Luigi Rella

According to our database, Luigi Rella authored at least 1 paper in 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Visual Specification of Branching Time Temporal Logic.

Alberto Del Bimbo, Luigi Rella, Enrico Vicario

Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995