Joseph Sifakis - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Not registered as user yet

Name:Joseph Sifakis

Country:France

Affiliation:Verimag/CNRS

Personal website: http://www-verimag.imag.fr/PEOPLE/Joseph.Sifakis/

Contributions

2019

MeTRiD

TACAS

Checking Deadlock-Freedom of Parametric Component-Based Systems

Show activities from other conferences

ETAPS 2019-profile
View general profile