@inproceedings{
    LatHel:CSP99,
    editor = "Burkhard, H.-D. and Czaja, L. and Nguyen, H.-S. and Starke, P.",
    author = "Latvala, Timo and Heljanko, Keijo",
    publisher = "Warsaw University",
    title = "Coping With Strong Fairness -- On-the-fly Emptiness Checking for {S}treett Automata",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    booktitle = "Proceedings of the Workshop Concurrency, Specification & Programming 1999",
    year = "1999",
    month = "September",
    juforank = "NA",
    flags = "copy",
    address = "Warsaw, Poland",
    keywords = "verification, model checking, fairness, Streett automata, counterexamples",
    pages = "107--118"
}