MBD of Sequential Behavior - LTL + ...

    Activity: Talk or presentationInvited talk

    Period10 Jan 2022
    Held atHelmut-Schmidt-University, Germany
    Degree of RecognitionInternational