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...
| Үндсэн зохиолчид: | , , , |
|---|---|
| Формат: | Journal article |
| Хэвлэсэн: |
Springer
2016
|
Ижил төстэй зүйлс
Announcement - The 2009 Paper Award of Tribology Online -
-н: Masabumi Masuko
Хэвлэсэн: (2010-07-01)
-н: Masabumi Masuko
Хэвлэсэн: (2010-07-01)