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...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| + | | published = false |
||
| date = 2011-06-01 |
| date = 2011-06-01 |
||
| authors = Alexandre Duret-Lutz |
| authors = Alexandre Duret-Lutz |
||
Latest revision as of 12:31, 12 November 2018
- 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
}