Do you really mean what you actually enforced? : Edit automata revisitedk

N. Bielova, F. Massacci

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publication5th International Workshop on Formal Aspects in Security and Trust, FAST 2008
Publication statusPublished - 2009

VU Research Profile

  • Connected World

Cite this