Jump to : Keywords | Contact | BibTex reference | EndNote reference |

bouyer:hal-03654350

P. Bouyer, P. Gastin, F Herbreteau, O. Sankur, B. Srivathsan. Zone-based verification of timed automata: extrapolations, simulations and what next?. In FORMATS'22, 20th International Conference on Formal Modeling and Analysis of Timed Systems, Invited contribution at FORMATS'22, Warsaw, Poland, September 2022.

Keywords

[ Timed automata ] [ Verification algorithms ]

Contact

Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{bouyer:hal-03654350,
   Author = {Bouyer, P. and Gastin, P. and Herbreteau, F and Sankur, O. and Srivathsan, B.},
   Title = {{Zone-based verification of timed automata: extrapolations, simulations and what next?}},
   BookTitle = {{FORMATS'22}},
   Series = {20th International Conference on Formal Modeling and Analysis of Timed Systems},
   Address = {Warsaw, Poland},
   Month = {September},
   Year = {2022}
}

EndNote Reference [help]

Get EndNote Reference (.ref)