Research facility · founded 1998
Laboratoire Spécification et Vérification
Cachan, France · lsv.ens-cachan.fr
- Citations, last 5 years
- 10
- Works, last 5 years
- 11
- h-index
- 84
- Scientists listed
- 0
- Grants since 2016
- 2
Grants received
2018 · research · AAPG2017
Foundations of Stack-Based Automata
Stefan Göller · Laboratoire Spécification et Vérification · funded by Agence Nationale de la Recherche
2017 · research · AAPG2017
IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS
Philippe Schnoebelen · Laboratoire Spécification et Vérification · funded by Agence Nationale de la Recherche