| Views | |
| Equivalence-checking on infinite-state systems: Techniques and results | 48 |
| December 2012 | January 2013 | February 2013 | March 2013 | April 2013 | May 2013 | June 2013 | |
| Equivalence-checking on infinite-state systems: Techniques and results | 1 | 8 | 2 | 1 | 1 | 3 | 0 |
| Views | |
| United States of America | 17 |
| China | 13 |
| Czech Republic | 8 |
| United Kingdom | 3 |
| Poland | 3 |
| Japan | 2 |
| Ukraine | 1 |
| Views | |
| Redwood City | 11 |
| Ostrava | 7 |
| Warsaw | 3 |
| Milton Keynes | 2 |
| Mountain View | 1 |
| Oxford | 1 |
| Redmond | 1 |
| Seattle | 1 |
| Vimperk | 1 |