Tampere University of Technology

TUTCRIS Research Portal

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

Prize: Award or honor granted for a specific work


Antti Valmari (Recipient)

Awarded date2012
Granting Organisations33rd International Conference on Application and Theory of Petri Nets and Other Model Concurrency, 27-29 June 2012, Hamburg, Germany

ID: 12151667