%0 Conference Paper %1 conf/dagstuhl/PilegaardNN06 %A Pilegaard, Henrik %A Nielson, Hanne Riis %A Nielson, Flemming %B Simulation and Verification of Dynamic Systems %D 2006 %E Nicol, David M. %E Priami, Corrado %E Nielson, Hanne Riis %E Uhrmacher, Adelinde M. %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K %T Static Analysis of a Model of the LDL Degradation Pathway. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P6161.html#PilegaardNN06 %V 06161

@inproceedings{conf/dagstuhl/PilegaardNN06, added-at = {2023-12-13T02:39:59.000+0100}, author = {Pilegaard, Henrik and Nielson, Hanne Riis and Nielson, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/2e86744939dbd0e26a488b953378c61e4/admin}, booktitle = {Simulation and Verification of Dynamic Systems}, crossref = {conf/dagstuhl/2006P6161}, editor = {Nicol, David M. and Priami, Corrado and Nielson, Hanne Riis and Uhrmacher, Adelinde M.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/723}, interhash = {8215ac57e952b407d29e5bf0e2fbf3c2}, intrahash = {e86744939dbd0e26a488b953378c61e4}, keywords = {}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2023-12-13T02:39:59.000+0100}, title = {Static Analysis of a Model of the LDL Degradation Pathway.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P6161.html#PilegaardNN06}, volume = 06161, year = 2006 }