On the Relationship between LTL Normal Forms and Büchi Automata

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

5 Citations (Scopus)
Original languageEnglish
Title of host publicationTheories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Volume8051
Publication date2013
Pages256-270
ISBN (Print)978-3-642-39697-7
ISBN (Electronic)978-3-642-39698-4
DOIs
Publication statusPublished - 2013
SeriesLecture Notes in Computer Science
Volume8051
ISSN0302-9743

Cite this