Building LTL Model Checkers using Transition-based Generalized Büchi Automata

From LRDE

Revision as of 11:31, 12 November 2018 by Bot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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
}