| Views | |
| A model checker for the LF system | 214 |
| November 2012 | December 2012 | January 2013 | February 2013 | March 2013 | April 2013 | May 2013 | |
| A model checker for the LF system | 15 | 14 | 26 | 26 | 11 | 19 | 19 |
| Views | |
| Gerber_model_2007.pdf | 86 |
| Views | |
| United States of America | 62 |
| South Africa | 45 |
| China | 15 |
| Russian Federation | 14 |
| Canada | 10 |
| Japan | 3 |
| France | 2 |
| Hungary | 1 |
| Netherlands | 1 |
| Romania | 1 |
| Views | |
| Wynberg | 41 |
| Redwood City | 26 |
| Beverly Hills | 20 |
| Beijing | 12 |
| Toronto | 10 |
| Halethorpe | 3 |
| Ashburn | 2 |
| Paris | 2 |
| Pretoria | 2 |
| Austin | 1 |