@techreport{naumovich-clarke:flavers-infinite,
        author = "Gleb Naumovich and Lori A. Clarke",
        title = "Extending {FLAVERS} to Check Properties on Infinite Executions of Concurrent Software Systems",
        type = "Technical Report",
        institution = "Polytechnic University, New York",
        number = "2000-02",
        note = "To appear in Proceedings of the Monterey Workshop",
        month = jun,
        year = "2001"
}