Janett Mohnke

From MaRDI portal
Person:698096

Available identifiers

zbMath Open mohnke.janettMaRDI QIDQ698096

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q48252152004-10-28Paper
Limits of using signatures for permutation independent Boolean comparison2002-09-18Paper
Application of BDDs in Boolean matching techniques for formal logic combinational verification2002-07-25Paper
Establishing latch correspondence for sequential circuits using distinguishing signatures1999-01-12Paper
Permutation and phase independent Boolean comparison1995-02-19Paper

Research outcomes over time

This page was built for person: Janett Mohnke

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:698096&oldid=7475535"
Powered by MediaWiki