External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Symbolic Power Analysis of Cell Libraries

Matthias Raffelsieper, Mohammad Reza Mousavi. Symbolic Power Analysis of Cell Libraries. In Gwen Salaün, Bernhard Schätz, editors, Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Volume 6959 of Lecture Notes in Computer Science, pages 134-148, Springer, 2011. [doi]

Authors

Matthias Raffelsieper

This author has not been identified. Look up 'Matthias Raffelsieper' in Google

Mohammad Reza Mousavi

This author has not been identified. Look up 'Mohammad Reza Mousavi' in Google
runs on