Building LTL Model Checkers using Transition-based Generalized Büchi Automata
From LRDE
- Authors
- Alexandre Duret-Lutz
- Work group
- Invited talk to SUMo'11
- Type
- misc
- Date
- 2011-06-01
Bibtex (lrde.bib)
@Misc{ duret.11.sumo, author = {Alexandre Duret-Lutz}, title = {Building {LTL} Model Checkers using {T}ransition-based {G}eneralized {B\"u}chi {A}utomata}, howpublished = {Invited talk to SUMo'11}, month = jun, year = 2011 }