Carine Pascal

According to our database, Carine Pascal authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Decomposition tool for event-B.

Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler

Softw. Pract. Exp., 2011