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

Roderick Paul Bloem, K. Ravi, F. Somenzi

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelInternational Conference on Formal Methods in Computer-Aided Design
Redakteure/-innenWarren A. Hunt
Herausgeber (Verlag).
Seiten143-160
PublikationsstatusVeröffentlicht - 2000
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Austin, Texas, USA / Vereinigte Staaten
Dauer: 1 Nov 20003 Nov 2000

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtAustin, Texas
Zeitraum1/11/003/11/00

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren

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