Laurent Ferier

According to our database, Laurent Ferier authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees.

Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens

Proceedings of the First International Workshop on Symbolic Model Checking, 1999