A comparative study of symbolic algorithms for the computation of fair cycles

Roderick Paul Bloem, K. Ravi, F. Somenzi

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Formal Methods in Computer-Aided Design
EditorsWarren A. Hunt
Publisher.
Pages143-160
Publication statusPublished - 2000
EventInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, United States
Duration: 1 Nov 20003 Nov 2000

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityAustin, Texas
Period1/11/003/11/00

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Ravi, K., & Somenzi, F. (2000). A comparative study of symbolic algorithms for the computation of fair cycles. In W. A. Hunt (Ed.), International Conference on Formal Methods in Computer-Aided Design (pp. 143-160). ..

A comparative study of symbolic algorithms for the computation of fair cycles. / Bloem, Roderick Paul; Ravi, K.; Somenzi, F.

International Conference on Formal Methods in Computer-Aided Design. ed. / Warren A. Hunt. ., 2000. p. 143-160.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Ravi, K & Somenzi, F 2000, A comparative study of symbolic algorithms for the computation of fair cycles. in WA Hunt (ed.), International Conference on Formal Methods in Computer-Aided Design. ., pp. 143-160, International Conference on Formal Methods in Computer-Aided Design, Austin, Texas, United States, 1/11/00.
Bloem RP, Ravi K, Somenzi F. A comparative study of symbolic algorithms for the computation of fair cycles. In Hunt WA, editor, International Conference on Formal Methods in Computer-Aided Design. . 2000. p. 143-160
Bloem, Roderick Paul ; Ravi, K. ; Somenzi, F. / A comparative study of symbolic algorithms for the computation of fair cycles. International Conference on Formal Methods in Computer-Aided Design. editor / Warren A. Hunt. ., 2000. pp. 143-160
@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",
year = "2000",
language = "English",
pages = "143--160",
editor = "Hunt, {Warren A.}",
booktitle = "International Conference on Formal Methods in Computer-Aided Design",
publisher = ".",

}

TY - GEN

T1 - A comparative study of symbolic algorithms for the computation of fair cycles

AU - Bloem, Roderick Paul

AU - Ravi, K.

AU - Somenzi, F.

N1 - LNCS 1954

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 143

EP - 160

BT - International Conference on Formal Methods in Computer-Aided Design

A2 - Hunt, Warren A.

PB - .

ER -