Yu-Yang Lin -

Registered user since Tue 10 Dec 2019

Name:Yu-Yang Lin

Affiliation:Queen Mary University of London

Contributions

ML 2021	Author of Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques within the ML 2021-track
GaLoP 2019	Author of A Framework for Compositional Model Checking within the GaLoP-track