作　　者：Raimund Kirner ;Jens Knoop ;Adrian Prantl 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2007 ;6.doi:10.4230/OASIcs.WCET.2007.1197

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848256

作　　者：Niklas Holsti ;Jan Gustafsson ;Guillem Bernat 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2008 ;8.doi:10.4230/OASIcs.WCET.2008.1663

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848272

作　　者：Raimund Kirner ;Albrecht Kadlec ;Adrian Prantl 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2008 ;8.doi:10.4230/OASIcs.WCET.2008.1657

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848280

作　　者：Adrian Prantl ;Markus Schordan ;Jens Knoop

出　　处：OASIcs : OpenAccess Series in Informatics. 2008 ;8.doi:10.4230/OASIcs.WCET.2008.1661

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848284

作　　者：Adrian Prantl ;Jens Knoop ;Raimund Kirner 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;10:1-11.doi:10.4230/OASIcs.WCET.2009.2282

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848333

作　　者：Armin Biere ;Jens Knoop ;Laura Kov{\'a}cs 等

出　　处：OASIcs : OpenAccess Series in Informatics. 2013 ;30:53-63.doi:10.4230/OASIcs.WCET.2013.53

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848624