Hierarchical Modeling for Computational Biology
Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
Formal Methods for Computational Systems Biology, pp. 81-124
Lecture Notes in Computer Science 5016, 2008
Springer
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (a cura di)
@inproceedings{uhrmacher08,
Author = {Maus, Carsten and John, Mathias and R{\"o}hl, Mathias and Uhrmacher, Adelinde},
Booktitle = {Formal Methods for Computational Systems Biology},
Doi = {10.1007/978-3-540-68894-5_4},
Editor = {Bernardo, Marco and Degano, Pierpaolo and Zavattaro, Gianluigi},
Isbn = {978-3-540-68892-1},
Pages = {81--124},
Publisher = {Springer},
Series = {LNCS},
Title = {Hierarchical Modeling for Computational Biology},
Url = {http://www.springerlink.com/content/h0272g68824616hw/},
Url-Pdf = {http://www.springerlink.com/content/h0272g68824616hw/fulltext.pdf},
Volume = 5016,
Year = 2008}
Author = {Maus, Carsten and John, Mathias and R{\"o}hl, Mathias and Uhrmacher, Adelinde},
Booktitle = {Formal Methods for Computational Systems Biology},
Doi = {10.1007/978-3-540-68894-5_4},
Editor = {Bernardo, Marco and Degano, Pierpaolo and Zavattaro, Gianluigi},
Isbn = {978-3-540-68892-1},
Pages = {81--124},
Publisher = {Springer},
Series = {LNCS},
Title = {Hierarchical Modeling for Computational Biology},
Url = {http://www.springerlink.com/content/h0272g68824616hw/},
Url-Pdf = {http://www.springerlink.com/content/h0272g68824616hw/fulltext.pdf},
Volume = 5016,
Year = 2008}