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 KonferenzbandBegutachtung

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
Land/GebietUSA / Vereinigte Staaten
OrtAustin, Texas
Zeitraum1/11/003/11/00

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren