Symbolic Arrays in Symbolic PathFinder
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Fromherz, Aymeric; Luckow, Kasper S.; Păsăreanu, Corina S.
- 卷第41卷
- 期第6期
- 印刷ISSN0163-5948
- 文件大小696.09KB
- 发表时间2017-01-05
- DOI10.1145/3011286.3011296
- 页码1-5
Clinical Relevance of Circulating Nucleosomes in CancerStefan Holdenrieder; Dorothea Nagel; Andreas Schalhorn; Volker Heinemann; Ralf Wilkowski; Joachim Von Pawel; Hannelore Raith; Knut Feldmann; Andreas E. Kremer; Susanne Müller; Sandra Geiger; Gerhard F. Hamann; Dietrich Seidel; Petra Stieber · 2008
Molekulare Grundlagen der AdipositasAndreas Hamann; Heike Münzberg; Petra Algenstaedt; Jörg Tafel · 2001
ReviewsUmland, Andreas; Estraikh, Gennady; Shneer, David; Merchán‐Hamann, César · East European Jewish Affairs · 2000
Energy Efficient Data CenterBieswanger, Andreas; Hamann, Hendrik F.; Wehle, Hans-Dieter · it - Information Technology · 2012
Diabetesversorgung im KrankenhausHamann, Andreas · Der Klinikarzt · 2009
Kein Idealgewicht, aber verminderte KrankheitslastPD Dr. med. Andreas Hamann · MMW - Fortschritte der Medizin · 2006
Kindler Kompakt: Reiseliteratur ||Erb, Andreas; Hamann, Christof; Osthues, Julian · 2017
Kindler Kompakt: Reiseliteratur || Heinrich HeineErb, Andreas; Hamann, Christof; Osthues, Julian · 2017