Electronic Notes in Theoretical Computer Science, Volume 191

Refine list

showing all ?? records

Volume 191, October 2007

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics