Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering; Nancy; Source: Modélisation des Systèmes Réactifs (MSR-2015) ; https://inria.hal.science/hal-01224219 ; Modélisation des Systèmes Réactifs (MSR-2015), Nov 2015, Nancy, France
Record details
Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering; Nancy; Source: Modélisation des Systèmes Réactifs (MSR-2015) ; https://hal.inria.fr/hal-01224219 ; Modélisation des Systèmes Réactifs (MSR-2015), Nov 2015, Nancy, France