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

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelTheories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Vol/bind8051
Publikationsdato2013
Sider256-270
ISBN (Trykt)978-3-642-39697-7
ISBN (Elektronisk)978-3-642-39698-4
DOI
StatusUdgivet - 2013
NavnLecture Notes in Computer Science
Vol/bind8051
ISSN0302-9743

Citationsformater