Patrice Boisieau

According to our database, Patrice Boisieau authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Splitting reachability analysis in hybrid automata.

Patrice Boisieau, Olivier F. Roux

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999