Cécile Bui Thanh

According to our database, Cécile Bui Thanh authored at least 2 papers between 2002 and 2004.

Collaborative distances:

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

2004

Object-Oriented Modelling with High-Level Modular Petri Nets.

Cécile Bui Thanh, Hanna Klaudel

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2002

Petri nets with causal time for system verification.

Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau

Proceedings of the International Workshop on Models for Time-Critical Systems, 2002