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}
Tags:

Publication

— authors

Lorenzo Dematté, Corrado Priami, Alessandro Romanel

— editors

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

— status

published

— sort

paper in proceedings

Venue

— volume

Formal Methods for Computational Systems Biology

— series

Lecture Notes in Computer Science

— volume

5016

— pages

313-365

— publication date

2008

URLs

original page

Identifiers

— DOI

10.1007/978-3-540-68894-5_9

— print ISBN

978-3-540-68892-1

BibTeX

— BibTeX ID
DemattePR08
— BibTeX category
inproceedings
— BibTeX cross reference
conf/sfm/2008

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