ScholarIQanswers from OpenAlex
Formal Methods in System Design
JournalCitation impact & published research
Formal Methods in System Design is a journal indexed in ScholarIQ from OpenAlex.
What is the OpenAlex record for Formal Methods in System Design?
ScholarIQopenalex
The OpenAlex for Formal Methods in System Design is on the source record.
What are the most-cited papers on Formal Methods in System Design?
ScholarIQmost cited works
Algebraic Decision Diagrams and Their Applications
R. Iris Bahar, E.A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi