Skip to Main content Skip to Navigation
Book sections

Synchronous Balanced Analysis

Andreea Beica 1 Vincent Danos 2
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01974696
Contributor : Vincent Danos <>
Submitted on : Tuesday, January 8, 2019 - 10:51:44 PM
Last modification on : Tuesday, August 4, 2020 - 3:43:54 AM

Identifiers

  • HAL Id : hal-01974696, version 1

Collections

Citation

Andreea Beica, Vincent Danos. Synchronous Balanced Analysis. Proceedings of the International Workshop on Hybrid Systems Biology, pp.85-94, 2016. ⟨hal-01974696⟩

Share

Metrics

Record views

85