Fair simulation minimization

Roderick Paul Bloem, S. Gurumurthy, F. Somenzi

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

Originalspracheenglisch
TitelInternational Conference on Computer Aided Verification
Herausgeber (Verlag)Springer
Seiten610-623
PublikationsstatusVeröffentlicht - 2002

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Dieses zitieren