Silent steps in transition systems and Markov chains

N. Trcka

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

153 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Baeten, Jos, Promotor
  • Rooda, Koos, Promotor
  • Luttik, S.P. (Bas), Copromotor
Award date28 Jun 2007
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-1045-0
DOIs
Publication statusPublished - 2007

Cite this