In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09), 9th, September 23-25, Swansea, United Kingdom, Electronic Communications of the EASST, Vol. 23, 2009.
Goce Trajcevski; Oliviu Ghica; René Schubotz; Marco Zuniga; Manfred Hauswirth; Peter Scheuermann
In: Proceedings of the 2009 First IEEE International Workshop on Information Forensics and Security. IEEE International Workshop on Information Forensics and Security (WIFS-2009), December 6-9, London, United Kingdom, Pages 126-130, ISBN 978-1-4244-5280-4, IEEE, 2009.