@InProceedings{SF07,
    Author       = "Schewe, S. and Finkbeiner, B.",
    Year         = "2007",
    Title        = "{Bounded Synthesis}",
    Editor       = "Namjoshi, K.S. and Yoneda, T. and Higashino, T. and Okamura, Y.",
    BookTitle    = "{Proceedings of the 5th International Symposium on Automated Technology for
                    Verification and Analysis}",
    Place        = "Tokyo, Japan",
    Series       = "Lecture Notes in Computer Science",
    Number       = "4762",
    Pages        = "474-488",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = "TPTPRef"
}