Search Results - THALMAIER, D.

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    The +1059G/C polymorphism in the C‐reactive protein (CRP) gene is associated with involvement of the terminal ileum and decreased serum CRP levels in patients with Crohn's disease

    The +1059G/C polymorphism in the C‐reactive protein (CRP) gene is associated with involvement of the terminal ileum and decreased serum CRP levels in patients with Crohn's disease... by THALMAIER, D., DAMBACHER, J., SEIDERER, J., KONRAD, A., SCHACHINGER, V., PFENNIG, S., OTTE, J.‐M., CRISPIN, A., GÖKE, B., OCHSENKÜHN, T., LOHSE, P., BRAND, S.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants

    Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants by Nguyen, M.D., Thalmaier, M., Wedler, M., Bormann, J., Stoffel, D., Kunz, W.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Analyzing k-step induction to compute invariants for SAT-based property checking

    Analyzing k-step induction to compute invariants for SAT-based property checking by Thalmaier, Max, Nguyen, Minh D, Wedler, Markus, Stoffel, Dominik, Bormann, Jorg, Kunz, Wolfgang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    A re-use methodology for formal SoC protocol compliance verification

    A re-use methodology for formal SoC protocol compliance verification by Nguyen, M.D., Thalmaier, M., Wedler, M., Stoffel, D., Kunz, W., Bormann, J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: