No photo of Joost P. Katoen

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

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 UT

Open Access
File
Model checking
Packet networks