@inproceedings{JB06,
title = {Optimizations for LTL Synthesis },
author = {Jobstmann, Barbara and Bloem, Roderick},
year = {2006},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {117-124},
publisher = {IEEE Computer Society},
team = {DCS},
}