@article{581359d2363a4f4a81b9ce1cd6b7ec29,
title = "Coping with Strong Fairness",
keywords = "counterexamples, fairness, model checking, Streett automata, verification, counterexamples, fairness, model checking, Streett automata, verification, counterexamples, fairness, model checking, Streett automata, verification",
author = "T. Latvala and K. Heljanko",
year = "2000",
language = "English",
volume = "43",
pages = "175--193",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS PRESS",
number = "1-4",
}