The BlenXLanguage: A Tutorial

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