Henrik Pilegaard
发表
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2004,
SAS.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2006,
Simulation and Verification of Dynamic Systems.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2008,
SAS.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2007,
TGC.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2007,
Inf. Process. Lett..
Michael R. Hansen,
Henrik Pilegaard,
Robin Sharp,
2003,
Nord. J. Comput..
Nataliya Skrypnyuk,
Henrik Pilegaard,
Flemming Nielson,
2012,
J. Log. Algebraic Methods Program..
Henrik Pilegaard,
2003
.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2011,
Formal Modeling: Actors, Open Systems, Biological Systems.
Flemming Nielson,
Hanne Riis Nielson,
Helmut Seidl,
2004,
TACAS.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2008,
J. Log. Algebraic Methods Program..
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2006,
Simulation and Verification of Dynamic Systems.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2007
.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2007,
SOS@CONCUR.
Henrik Pilegaard,
2002
.
Flemming Nielson,
Lijun Zhang,
Bo Friis Nielsen,
2012,
ArXiv.
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard,
2012,
CSUR.