N°Spécial De Revue/Special Issue
Theoretical Computer Science
Année : 2019
Loïc Paulevé : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02962679
Soumis le : vendredi 9 octobre 2020-13:57:34
Dernière modification le : vendredi 19 avril 2024-16:18:56
Dates et versions
Identifiants
- HAL Id : hal-02962679 , version 1
Citer
Jérôme Feret, Loïc Paulevé, David Šafránek. Formal Verification and Static Analysis of Molecular Devices and Biological Systems. Jérôme Feret; Loïc Paulevé; David Šafránek. Theoretical Computer Science, 765, 2019. ⟨hal-02962679⟩
Collections
16
Consultations
0
Téléchargements