Communication Dans Un Congrès
Année : 2005
Igor Walukiewicz : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00404832
Soumis le : vendredi 17 juillet 2009-11:22:53
Dernière modification le : vendredi 24 mars 2023-14:52:52
Dates et versions
Identifiants
- HAL Id : hal-00404832 , version 1
Citer
Igor Walukiewicz. Pushing the limits of pushdown verification. Perspectives in verification, workshop in honour of Prof. Dr. Wolfgang Thomas on the occasion of his doctorate Honoris Causa, 2005, Cachan, France. ⟨hal-00404832⟩
Collections
31
Consultations
0
Téléchargements