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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	5th International Workshop on Formal Aspects in Security and Trust, FAST 2008
DOIs	https://doi.org/10.1007/978-3-642-01465-9_19
Publication status	Published - 2009

VU Research Profile

TY - GEN

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

AU - Bielova, N.

AU - Massacci, F.

PY - 2009

Y1 - 2009

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-67650694003&partnerID=MN8TOARS

U2 - 10.1007/978-3-642-01465-9_19

DO - 10.1007/978-3-642-01465-9_19

M3 - Conference contribution

BT - 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008

ER -