2014 CAV award announcement
The 2014 CAV (Computer-Aided Verification) Award was presented on July 19, 2014, at the 26th annual CAV conference in Vienna to Patrice Godefroid, Doron Peled, Antti Valmari, and Pierre Wolper for the development of partial-order-reduction algorithms for efficient state-space exploration of concurre...
Päätekijät: | Kwiatkowska, M, Vardi, M, Bouajjani, A, Ball, T |
---|---|
Aineistotyyppi: | Journal article |
Julkaistu: |
Springer
2016
|
Samankaltaisia teoksia
Announcement - The Paper Award of Tribology Online -
Tekijä: Masabumi Masuko
Julkaistu: (2011-08-01)
Tekijä: Masabumi Masuko
Julkaistu: (2011-08-01)
Samankaltaisia teoksia
-
Announcement - The Paper Award of Tribology Online 2014 -
Tekijä: Masabumi Masuko
Julkaistu: (2015-07-01) -
Best paper award announcement
Julkaistu: (2023-04-01) -
Notice-board: Award announcement
Tekijä: Editorial Team
Julkaistu: (2013-06-01) -
Best paper award announcement
Julkaistu: (2021-01-01) -
Announcement_2021 ISPNE Awards
Julkaistu: (2021-02-01)