Affiner les résultats

Type de document

Collection spécifique

Langue

Consortium of Swiss Academic Libraries

GSTE is partitioned model checking

Sebastiani, Roberto ; Singerman, Eli ; Tonetta, Stefano ; Vardi, Moshe

In: Formal Methods in System Design, 2007, vol. 31, no. 2, p. 177-196

Consortium of Swiss Academic Libraries

Tensile behaviour of FRC under high strain-rate

Cadoni, Ezio ; Meda, Alberto ; Plizzari, Giovanni

In: Materials and Structures, 2009, vol. 42, no. 9, p. 1283-1294