The BlenXLanguage: A Tutorial


Lorenzo Dematté, Corrado Priami, Alessandro Romanel

Formal Methods for Computational Systems Biology, pages 313-365
Lecture Notes in Computer Science 5016,  2008
Springer
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

 @inproceedings{DemattePR08,
title = {The {BlenXLanguage}: A Tutorial},
author = {Dematté, Lorenzo and Priami, Corrado and Romanel, Alessandro},
booktitle = {Formal Methods for Computational Systems Biology},
crossref = {conf/sfm/2008},
editor = {Bernardo, Marco and Degano, Pierpaolo and Zavattaro, Gianluigi},
pages = {313--365},
publisher = {Springer},
series = {LNCS},
url = {http://dblp.uni-trier.de/db/conf/sfm/sfm2008.html#DemattePR08},
volume = {5016},
year = {2008},
doi= {10.1007/978-3-540-68894-5_9},
isbn = {978-3-540-68892-1}}  

Tags:
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY