Annuaire - LAAS-CNRS

François Vernadat

François Vernadat

Équipe

TRUST : Trustworthy systems: foundations and practices

Coordonnées

Courriel :

Téléphone :

Liens

Publications

Dernières Publications

2016

Articles dans une revue

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Symmetry reduction for time Petri net state classes. Science of Computer Programming, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩. ⟨hal-01561994⟩

LAAS-CNRS

7, av. du colonel Roche
BP 54200
31031 Toulouse cedex 4
France

GPS : 43.563545, 1.476923

Tél :

+ Le laboratoire + Recherche + Plateformes + Formation à la recherche + Partenariats + Actualités