Licences nationales

Licences nationales
Licences nationales
Les licences nationales du Consortium des bibliothèques universitaires suisses permettent à la population suisse d’accéder à une sélection d’archives de revues scientifiques (cf. http://www.consortium.ch/national-lizenzen). Selon les termes du contrat, les membres des institutions académiques suisses ont le droit, après une période d’embargo, de publier leurs articles en version originale sur une archive institutionnelle ou thématique (Green Open Access). RERO DOC héberge de manière centralisée les articles publiés dans ce cadre.
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

An abstraction refinement approach combining precise and approximated techniques

Sharygina, Natasha ; Tonetta, Stefano ; Tsitovich, Aliaksei

In: International Journal on Software Tools for Technology Transfer, 2012, vol. 14, no. 1, p. 1-14