Analysis of symbolic SCC hull algorithms

Roderick Paul Bloem, F. Somenzi, K. Ravi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationInternational Conference on Formal Methods in Computer-Aided Design
EditorsMark D. Aagaard, John W. O’Leary
PublisherSpringer
Pages88-105
Publication statusPublished - 2002
EventInternational Conference on Formal Methods in Computer-Aided Design - Portland, Oregon, United States
Duration: 6 Nov 20028 Nov 2002

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CityPortland, Oregon
Period6/11/028/11/02

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this