Model checking parameterized process classes - LIU SHANSHAN (2010)
Master's