Silent steps in transition systems and Markov chains

N. Trcka

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

137 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Baeten, Jos, Promotor Rooda, Koos, Promotor Luttik, S.P. (Bas), Copromotor
Award date	28 Jun 2007
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-386-1045-0
DOIs	https://doi.org/10.6100/IR627345
Publication status	Published - 2007

Access to Document