Searching for authors named "Henrik Pilegaard" – sorted by Relevance.
-
A feasibility study - the Succinct Solver v.2.0, XSB Prolog v.2.6, and flow-logic based program analysis for Carmel
- Analysis for Carmel ∗ Authors : Henrik Pilegaard (hepi@(email omitted);) Date : September 30, 2003 Number
- Add To MetaCart
-
Static analysis of a model of the LDL degradation pathway
- Static Analysis of a Model of the LDL Degradation Pathway Henrik Pilegaard, Flemming Nielson
- Cited by 1 (1 self) – Add To MetaCart

