Heikki Tauriainen, Keijo Heljanko. Testing LTL formula translation into Büchi automata. STTT, 4(1):57-70, 2002. [doi]
@article{TauriainenH02,
title = {Testing LTL formula translation into Büchi automata},
author = {Heikki Tauriainen and Keijo Heljanko},
year = {2002},
url = {http://link.springer.de/link/service/journals/10009/bibs/2004001/20040057.htm},
tags = {translation, testing},
researchr = {https://researchr.org/publication/TauriainenH02},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {4},
number = {1},
pages = {57-70},
}