Research Output 1992 2017

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: ScientificPhD Thesis - Research external, graduation UT

Model checking
Packet networks