Temporal-logisches Programmieren
By: Christoph Georg Brzoska
Contributors: Universität Karlsruhe
Published: 1993
Language: ger
Number of pages: 172
Notes: Thesis (doctoral)--Universität Karlsruhe, 1993.