PARDI

Contact Pascal.Poizat (at) nulllip6.fr
Du 10/01/2016 au 31/12/2021

PARameterized DIstributed Systems Verification

INPT/IRIT (leader), Inria/LORIA, UPS/LRI, UPMC/LIP6
ANR

Pascal POIZAT