Andrea Parisse

According to our database, Andrea Parisse authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli

Proceedings of the Hybrid Systems: Computation and Control, 2003