Theoretical Computer Science

Research Output 1993 2019

Filter
PhD Thesis - Research external, graduation external
2011

Probability and Hiding in Concurrent Processes

Georgievska, S., 2011

Research output: PhD ThesisPhD Thesis - Research external, graduation externalAcademic

2008

Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving

Calamé, J., 2008, Universiteit Twente.

Research output: PhD ThesisPhD Thesis - Research external, graduation externalAcademic

2002

Linearization in mCRL

Usenko, Y. S., 2002, Technische Universiteit Eindhoven.

Research output: PhD ThesisPhD Thesis - Research external, graduation externalAcademic