Probabilistic verification and approximation
- 作者Richard Lassaigne; Sylvain Peyronnet
- 卷第152卷
- 印刷ISSN0168-0072
- 文件大小250.76KB
- 发表时间2008
- DOI10.1016/j.apal.2007.11.006
- 页码122-131
Non-invasive ventilation in prehospital settingsGeorg Röggla, Bernadetta Moser, Berthold Moser · 2013
PO-0755: Organ shape variations influencing PTV concepts for cervix cancer ARTSeppenwoolde, Y.; Georg, P.; Georg, D.; Bauer, K.; Moser, K.; Pötter, R.; Stock, M. · Radiotherapy and Oncology · 2015
Caspase-cleaved cytokeratin 18 and 20 S proteasome in liver degenerationHubert Hetz; Konrad Hoetzenecker; Stefan Hacker; Peter Faybik; Andreas Pollreisz; Bernhard Moser; Georg Roth; Wolfram Hoetzenecker; Michael Lichtenauer; Markus Klinger; Claus Georg Krenn; Hendrik Jan Ankersmit · 2007
PrefaceArnold Beckmann; Jeremy Avigad; Georg Moser · 2005
Acute basilar artery occlusionBernadetta Moser; Peter Zanon; Gianpiero Bonatti; Norma Decaminada; Georg Röggla · 2004
Purpura fulminans in pneumoccocal sepsisBernadetta Moser; Barbara Farina; Peter Zanon; Georg Röggla · 2009
The Epsilon Calculus and Herbrand ComplexityGeorg Moser; Richard Zach · Studia Logica · 2006