Runtime Verification for Mazurkiewicz Traces.

Caroline Waziri

Original languageEnglish
QualificationMaster of Science
Awarding Institution
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Reischuk, Rüdiger, Supervisor
Publication statusPublished - 2013
Externally publishedYes

Other files and links

Cite this