Search Results - Dierks ,Henning

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Real time systems formal specification and automatic verification by Olderog ,E.R

    Published 2008
    Other Authors: “…Dierks ,Henning…”
    Book