International Symposium on Model Checking Software

Tripakis, S. (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

Technical program committee member
Period2017
Event typeConference
Conference number24
LocationSanta Barbara, United States, California
Degree of RecognitionInternational