Per Bjesse

Available identifiers

zbMath Open bjesse.perMaRDI QIDQ1039854

List of research outcomes

Publication	Date of Publication	Type
Word level bitwidth reduction for unbounded hardware model checking	2009-11-23	Paper
A Practical Approach to Word Level Model Checking of Industrial Netlists	2008-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4818806	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4738483	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4553262	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2729082	2001-11-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Per Bjesse