Testing LTL formula translation into Büchi automata

Heikki Tauriainen, Keijo Heljanko. Testing LTL formula translation into Büchi automata. STTT, 4(1):57-70, 2002. [doi]

Abstract

Abstract is missing.