Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
By: Thomas Wilke
Contributors: Universität Kiel
Published: 1994
Language: ger
Number of pages: 168
Notes: Thesis (doctoral)--Christian-Albrechts-Universität zu Kiel, 1994.