Difference between revisions of "Publications/duret.11.sumo"
From LRDE
| Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| − | | published = |
+ | | 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
}