Bernhard J.F. van Beijnum

dr.ir.

1993 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1993 2019

Filter
PhD Thesis - Research UT, graduation UT
1995
3 Downloads (Pure)

Algorithms for the verification of synchronous systems

van Beijnum, B. J. F., 1 Jun 1995, Enschede, the Netherlands: Universiteit Twente. 147 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File