Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings Asarin Eugene Heftet / 2006 / Engelsk
Computer Security – ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings Asarin Eugene Heftet / 2006 / Engelsk
