@inproceedings{
    LatHel:CSP99,
    editor = "Burkhard, H.-D. and Czaja, L. and Nguyen, H-S. and Starke, P.",
    author = "Latvala, Timo and Heljanko, Keijo",
    publisher = "Institute of Informatics, Warsaw University",
    title = "Coping with Strong Fairness -- On-the-fly Emptiness Checking for Streett Automata",
    superseded = "LatHel:FUIN43",
    booktitle = "Concurrency, Specification \& Programming Workshop",
    year = "1999",
    ps = "LatHelCSP99.ps",
    month = "September",
    flags = "public",
    address = "Warsaw, Poland",
    pages = "107--118"
}