Julien Musset

According to our database, Julien Musset authored at least 2 papers in 2003.

Collaborative distances:

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

2003

Approximation de relations de transition : application à la vérification de systèmes infinis.

Julien Musset

PhD thesis, 2003

Computing Meta-transitions for Linear Transition Systems with Polynomials.

Julien Musset, Michaël Rusinowitch

Proceedings of the FME 2003: Formal Methods, 2003