Building LTL Model Checkers using Transition-based Generalized Büchi Automata
From LRDE
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
- 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 }