Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

Filter
PhD Thesis - Research external, graduation UT
2010
61 Downloads (Pure)

Model Checking Nondeterministic and Randomly Timed Systems

Neuhausser, M., 22 Jan 2010, Zutphen, Netherlands: Wöhrmann Print Service. 244 p.

Research output: ThesisPhD Thesis - Research external, graduation UTAcademic

Open Access
File
Model checking
Packet networks