Statistics for The Abstraction Refinement Model and the Modification-Cost Problem
Total visits
views | |
---|---|
The Abstraction Refinement Model and the Modification-Cost Problem | 616 |
Total visits per month
views | |
---|---|
April 2024 | 0 |
May 2024 | 0 |
June 2024 | 0 |
July 2024 | 0 |
August 2024 | 0 |
September 2024 | 0 |
October 2024 | 0 |
File Visits
views | |
---|---|
TR-92-29.pdf | 283 |
Top country views
views | |
---|---|
United States | 453 |
France | 54 |
Germany | 36 |
China | 19 |
United Kingdom | 12 |
South Korea | 6 |
Italy | 5 |
Japan | 5 |
Russia | 4 |
European Union | 3 |
Ireland | 3 |
Canada | 2 |
Finland | 1 |
Hong Kong SAR China | 1 |
India | 1 |
Malaysia | 1 |
Poland | 1 |
Sweden | 1 |
Top city views
views | |
---|---|
Ashburn | 187 |
Reston | 157 |
Mountain View | 17 |
Blacksburg | 16 |
Sunnyvale | 8 |
Southend | 6 |
Balingen | 4 |
Boardman | 4 |
Seongnam | 4 |
Shenzhen | 4 |
South El Monte | 4 |
Anaheim | 3 |
Beijing | 3 |
Dublin | 3 |
Florence | 3 |
Old Bridge | 3 |
Palo Alto | 3 |
Royersford | 3 |
Zhengzhou | 3 |
Brooklyn | 2 |
Castro Valley | 2 |
Des Moines | 2 |
Kiez | 2 |
Montréal | 2 |
San Francisco | 2 |
Stuttgart | 2 |
Andover | 1 |
Arlington Heights | 1 |
Daejeon | 1 |
Hebei | 1 |
Heppenheim an der Bergstrasse | 1 |
Los Angeles | 1 |
Ludwigshafen am Rhein | 1 |
Milan | 1 |
Minneapolis | 1 |
Mumbai | 1 |
Nanchang | 1 |
Orange | 1 |
Overland Park | 1 |
Petaling Jaya | 1 |
Polska | 1 |
Wilmington | 1 |
Woodbridge | 1 |