Awards: "Old and New Algorithms for Minimal Coverability Sets" by Antti Valmari and Henri Hansen was selected as the Outstanding Paper

  • Valmari, Antti (Recipient)

    Palkinto: Palkinto tai huomionosoitus tuotoksesta

    Myöntöpäivä2012
    Myöntävät organisaatiot33rd International Conference on Application and Theory of Petri Nets and Other Model Concurrency, 27-29 June 2012, Hamburg, Germany