@inproceedings{TACAS-2012-BabiakKRS,
author = "Tomás Babiak and Mojmír Kretínský and Vojtech Rehák and Jan Strejcek",
booktitle = "{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-28756-5_8",
isbn = "978-3-642-28755-8",
pages = "95--109",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{LTL to Büchi Automata Translation: Fast and More Deterministic}",
volume = 7214,
year = 2012,
}
Tags: