Chapitre D'ouvrage
Année : 2009
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01295288
Soumis le : mercredi 30 mars 2016-16:51:50
Dernière modification le : mardi 11 avril 2023-15:16:28
Citer
Serge Haddad, Jean-Michel Ilié. Symmetry and Temporal Logic. Petri Nets: Fundamental Models, Verification and Applications, 2, ISTE - WEISLEY, pp.435-459, 2009, 978-1-84821-079-0. ⟨10.1002/9780470611647.ch14⟩. ⟨hal-01295288⟩
Collections
70
Consultations
0
Téléchargements