Fair simulation minimization

Roderick Paul Bloem, S. Gurumurthy, F. Somenzi

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

Original languageEnglish
Title of host publicationInternational Conference on Computer Aided Verification
PublisherSpringer
Pages610-623
Publication statusPublished - 2002

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this