Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Pubblicazione
The BlenXLanguage: A Tutorial
The BlenXLanguage: A Tutorial
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (a cura di)
Formal Methods for Computational Systems Biology
, pp. 313-365
Lecture Notes in Computer Science 5016
Springer
2008