TACAS 2011 Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbrücken, Germany, March 26 - April 3, 2011 (Lehti)

  • Antti Valmari (Arvioija)

    Aktiviteetti: Konferenssiartikkeleiden refereenä toimiminen

    Aikajakso2011
    Julkaisun tyyppi!!Journal

    Country of activity

    • Saksa

    Publication forum classification

    • Ei tasoa