PICO Portalanswers from OpenAlex
Formal Methods in System Design
JournalCitation impact & published research
Formal Methods in System Design is a journal indexed in PICO Portal from OpenAlex.
What is the OpenAlex record for Formal Methods in System Design?
PICO Portalopenalex
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?
PICO Portalmost 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