Rémi Hérilier

According to our database, Rémi Hérilier authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Translating FSP into LOTOS and networks of automata.

Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee

Formal Aspects Comput., 2010