Filter
PhD Thesis - Research external, graduation external

Search results

  • PhD Thesis - Research external, graduation external

    Linearization in mCRL

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

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

  • Probability and Hiding in Concurrent Processes

    Georgievska, S., 2011

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