Symmetry and Temporal Logic - Archive ouverte HAL Access content directly
Book Sections Year : 2009

Symmetry and Temporal Logic

Serge Haddad
Jean-Michel Ilié
  • Function : Author
  • PersonId : 962210
No file

Dates and versions

hal-01295288 , version 1 (30-03-2016)

Identifiers

Cite

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⟩
49 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More