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

    Concepts, algorithms and tools for model checking / by Katoen, Joost-Pieter

    Published 1999
    Book