Analysis of symbolic SCC hull algorithms

Roderick Paul Bloem, F. Somenzi, K. Ravi

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

Originalspracheenglisch
TitelInternational Conference on Formal Methods in Computer-Aided Design
Redakteure/-innenMark D. Aagaard, John W. O’Leary
Herausgeber (Verlag)Springer
Seiten88-105
PublikationsstatusVeröffentlicht - 2002
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, USA / Vereinigte Staaten
Dauer: 6 Nov 20028 Nov 2002

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtPortland, Oregon
Zeitraum6/11/028/11/02

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Dieses zitieren