Antibiotic susceptibility testing by standardized single disk method / by Bauer, A. W.

Antibiotic susceptibility testing by a standardized single disk method / by Bauer, A. W.

Model-based runtime analysis of distributed reactive systems. by Bauer, A, Leucker, M, Schallhart, C

Comparing LTL Semantics for Runtime Verification. by Bauer, A, Leucker, M, Schallhart, C

Enhancement of prestack diffraction data and attributes using a traveltime decomposition approach by Bauer, A, Schwarz, B, Gajewski, D

Runtime Verification for LTL and TLTL. by Bauer, A, Leucker, M, Schallhart, C

The tempos of performance by Shalev, N, Bauer, A, Nobre, A

Tool−support for the analysis of hybrid systems and models by Bauer, A, Pister, M, Tautschnig, M

Passive seismic source localization via common-reflection-surface attributes by Schwarz, B, Bauer, A, Gajewski, D

The Good, the Bad, and the Ugly, But How Ugly Is Ugly? by Bauer, A, Leucker, M, Schallhart, C

Utilizing diffractions in wavefront tomography by Bauer, A, Schwarz, B, Gajewski, D

Compatibility and reuse in component−based systems via type and unit inference by Kühnel, C, Bauer, A, Tautschnig, M

Unsupervised event identification and tagging for diffraction focusing by Bauer, A, Schwarz, B, Werner, T, Gajewski, D

Pharmacokinetic-Pharmacodynamic Comparison of Recombinant and Plasma-Derived von Willebrand Factor in Patients with von Willebrand Disease Type 3 by Bauer A, Friberg-Hietala S, Smania G, Wolfsegger M

Get full text

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Source localisation and joint velocity model building using wavefront attributes by Diekmann, L, Schwarz, B, Bauer, A, Gajewski, D

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Crystal structure of 9-benzyl-6-ethoxy-7-ethyl-2-phenyl-7,9- dihydropurin-8-one, C22H22N4O2 by Euler H., Kirfel A., Bauer A., Müller C. E.

Get full text

Crystal structure of 9-benzyl-6-ethoxy-7-ethyl-2-phenyl-7,9- dihydropurin-8-one, C22H22N4O2 by Euler H., Kirfel A., Bauer A., Müller C. E.

Get full text