APICe » Publications » Class » PriamiSfm08

The BlenXLanguage: A Tutorial

Lorenzo Dematté, Corrado Priami, Alessandro Romanel
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, pages 313-365, 2008.
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), Springer
@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}}