Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson. Static Analysis of a Model of the LDL Degradation Pathway. In David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher, editors, Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
@inproceedings{PilegaardNN06,
title = {Static Analysis of a Model of the LDL Degradation Pathway},
author = {Henrik Pilegaard and Hanne Riis Nielson and Flemming Nielson},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/723},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/PilegaardNN06},
cites = {0},
citedby = {0},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
volume = {06161},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}