Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Communications of the ACM
Hi-index | 48.22 |
The new Mars rover has attracted plenty of attention for its planetary gymnastics, but the big breakthroughs are under the hood.