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 contribution

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