Login / Signup

Vérification de propriétés quantitatives sur des automates à contraintes.

Régis Gascon
Published in: Tech. Sci. Informatiques (2010)
Keyphrases