Tum Institut für Informatik zur temporalen Logik von Bäumen
By: Bernd-Holger Schlingloff
Contributors: Technische Universität München
Published: 1990
Language: ger
Number of pages: 189
Notes: Thesis (doctoral)--Technische Universität München, 1990.