 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00695295, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Systems Biology and Formal Methods, New York : États-Unis (2012) |
|
|
|
|
| Executable Knowledge |
|
|
| Russ Harmer 1 |
|
|
| (04/2012) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| hal-00695295, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00695295 | |
| oai:hal.archives-ouvertes.fr:hal-00695295 | |
| Contributeur : Russ Harmer | |
| Soumis le : Lundi 7 Mai 2012, 17:10:18 | |
| Dernière modification le : Lundi 7 Mai 2012, 17:10:18 | |
