Difference between revisions of "Publications/duret.11.sumo"
From LRDE
(Created page with "{{Publication | date = 2011-06-01 | authors = Alexandre Duret-Lutz | title = Building LTL Model Checkers using Transition-based Generalized Büchi Automata | howpublished = In...") |
|||
| Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| + | | published = true |
||
| date = 2011-06-01 |
| date = 2011-06-01 |
||
| authors = Alexandre Duret-Lutz |
| authors = Alexandre Duret-Lutz |
||
Revision as of 15:51, 14 November 2013
- 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
}