TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

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

Palkinto: Palkinto tai huomionosoitus tuotoksesta

???prize_details???

Henri Hansen (Recipient)

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

ID: 12153638