Showing 1 - 1 results of 1 for search 'Dierks, H.', query time: 0.01s Refine Results
  1. 1

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

    Published 2008
    Book

    Real-time systems formal specification and automatic verification

Search Tools: