Efficient Büchi automata from LTL formulae

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Conference on Computer Aided Verification
Publisher	Springer
Pages	248-263
Publication status	Published - 2000

Treatment code (Nähere Zuordnung)

@inproceedings{15c9dba2d75b4672ad6dfa43ba9b269c,

title = "Efficient B{\"u}chi automata from LTL formulae",

author = "Bloem, \{Roderick Paul\} and F. Somenzi",

note = "LNCS 1855",

year = "2000",

language = "English",

pages = "248--263",

booktitle = "International Conference on Computer Aided Verification",

publisher = "Springer",

address = "United States",

}