@inproceedings{1aeb714df736424eb2d537352d123f2e,
title = "A comparative study of symbolic algorithms for the computation of fair cycles",
author = "Bloem, {Roderick Paul} and K. Ravi and F. Somenzi",
note = "LNCS 1954; International Conference on Formal Methods in Computer-Aided Design ; Conference date: 01-11-2000 Through 03-11-2000",
year = "2000",
language = "English",
pages = "143--160",
editor = "Hunt, {Warren A.}",
booktitle = "International Conference on Formal Methods in Computer-Aided Design",
publisher = ".",
}