Axel Legay - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Thu 11 Oct 2018

Name:Axel Legay

Country:France

Affiliation:INRIA Rennes

Personal website: https://people.irisa.fr/Axel.Legay/

Contributions

2019

FASE

Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL

MeTRiD

Committee Member in Program Committee within the MeTRiD-track

SPIoT

Show activities from other conferences

ETAPS 2019-profile
View general profile