Electronic Notes in Theoretical Computer Science, Volume 99

Volume 99, 6 August 2004

Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time