Henrik Hulgaard

Available identifiers

zbMath Open hulgaard.henrikMaRDI QIDQ169904

List of research outcomes

Publication	Date of Publication	Type
Boolean expression diagrams	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4417609	2003-07-29	Paper
Symbolic model checking of timed guarded commands using difference decision diagrams	2003-02-13	Paper
Verification of hierarchical state/Event systems using reusability and compositionality	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q2769575	2002-02-05	Paper
Verification of large state/event systems using compositionality and dependency analysis	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4945220	2000-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4255572	1999-08-17	Paper
Testing asynchronous circuits: A survey	1997-02-27	Paper
An algorithm for exact bounds on the time separation of events in concurrent systems	1995-01-01	Paper

Research outcomes over time

This page was built for person: Henrik Hulgaard