Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low−Rate Wireless Personal Area Network Protocol by Fruth, M

PMT studies and loop antenna development for the LZ dark matter experiment by Fruth, TMA

Überwachung von Java−Programmen mittels Java PathFinder by Fruth, M

Formal methods for the analysis of wireless network protocols by Fruth, M

Neue Absicherungsstrategien für Steuergerätesoftware by Deutschmann, R, Fruth, M, Zabelt, M

Instructor's guide for The principal and individually guided education / by 347196 Lipham, James M., Fruth, Marvin J.

Graphical modelling for simulation and formal analysis of wireless network protocols by Fehnker, A, Fruth, M, McIver, A

Graphical modelling for simulation and formal analysis of wireless network protocols by Fehnker, A, Fruth, M, McIver, A

Average phenotype but not plasticity in two metabolic hormones covary in wild female bonobos (Pan paniscus) by Ruth Sonnweber, Gottfried Hohmann, Gottfried Hohmann, Jeroen M. G. Stevens, Tobias Deschner, Tobias Deschner, Barbara Fruth, Barbara Fruth, Barbara Fruth, Anna-Lena Fiedler, Niina O. Nurmi, Verena Behringer, Verena Behringer

Get full text

Planning Guide for Power Distribution Plants : Design, Implementation and Operation of Industrial Networks / by Kiank, Hartmut, author 522934, Fruth, Wolfgang, author 522935

Trace Checking with Real−Time Specifications by Deutschmann, R, Fruth, M, Reichel, H, Reuss, H

The Multifaceted Role of Confocal Laser Endomicroscopy in Head and Neck Surgery: Oncologic and Functional Insights by Nina Wenda, Kai Fruth, Annette Fisseler-Eckhoff, Jan Gosepath

Get full text

MRI of shoulder girdle in polymyalgia rheumatica: inflammatory findings and their diagnostic value by Styliani Tsiami, Martin Fruth, Lucie Künitz, Philipp Martin-Seidel

Get full text

CaVi: Simulation and Model Checking for Wireless Sensor Networks by Boulis, A, Fehnker, A, Fruth, M, McIver, A

Genomic surveillance of STEC/EHEC infections in Germany 2020 to 2022 permits insight into virulence gene profiles and novel O-antigen gene clusters by Angelika Fruth, Christina Lang, Tobias Größl, Thomas Garn, Antje Flieger

Get full text

Model Checking in an Industrial Environment by Hensel, U, Fordran, E, Fruth, M, Shaoyu, H, Srinivasan, M

Optimizing ZigBee Security using Stochastic Model Checking by Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M

Optimizing Key Updates in Sensor Networks by Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M

Les services écologiques des bonobos (Pan paniscus) by David Beaune, François Bretagnolle, Loïc Bollache, Chloé Bourson, Gottfried Hohmann, Barbara Fruth

Get full text

Recherche d’alcaloïdes et hétérosides cyanogénétiques (cyanures) dans les fruits consommés par Pan paniscus à Luikotale dans le Parc National de la Salonga-Sud, RD Congo by Nono I Bondjengo, Gaby Kitengie, Dieudonné Musibono, Constantin Lubini, Gottfried Hohmann, Barbara Fruth

Get full text