Logics for Mazurkiewicz traces
By: Martin Leucker
Contributors: Rheinisch-Westfälische Technische Hochschule Aachen
Published: 2002
Language: eng
Number of pages: 176
Notes: Thesis (doctoral)--Rheinisch-Westfälische Technische Hochschule Aachen, 2002.