Showing 1 - 1 results of 1 for search '"Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung,"', query time: 0.03s Refine Results
  1. 1

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

    Published 1999
    “…Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung,…”
    Book