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

  • Antti Valmari (Reviewer)

    Activity: Publication peer-review and editorial work › Reviewer of Conference Article

    Period2011
    Type of journalJournal

    Country of activity

    • Germany

    Publication forum classification

    • No publication forum level