Statistics
Publications
3
Citations
184
H-Index
3
Active since
1998
Affiliations
Verimag(Current)
Sébastien Bornot is an author at Verimag specializing in computer science, systems engineering, and engineering.
Publications per year
1998–2000
3
3
An Algebraic Framework for Urgency
Sébastien Bornot, Joseph Sifakis · Information and Computation · 2000 · 72 citations · Full text
Verification of Sequential Function Charts Using SMV.
Sébastien Bornot, Ralf Huuck, Ben Lukoschus · 2000 · 32 citations
1–3 of 3