Communication Dans Un Congrès
Année : 2013
Benedikt Bollig : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00925457
Soumis le : mercredi 8 janvier 2014-10:19:32
Dernière modification le : lundi 13 novembre 2023-10:56:04
Dates et versions
Identifiants
- HAL Id : hal-00925457 , version 1
Citer
Javier Esparza, Loïg Jezequel, Stefan Schwoon. Computation of summaries using net unfoldings. 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), 2013, Guwahati, India. pp.225-236. ⟨hal-00925457⟩
Collections
114
Consultations
0
Téléchargements