Statistics for Model Checking of Distributed Multi-Threaded Java Applications
Total visits
| views | |
|---|---|
| Model Checking of Distributed Multi-Threaded Java Applications | 264 |
Total visits per month
| views | |
|---|---|
| May 2024 | 0 |
| June 2024 | 0 |
| July 2024 | 0 |
| August 2024 | 0 |
| September 2024 | 0 |
| October 2024 | 0 |
| November 2024 | 0 |
File Visits
| views | |
|---|---|
| Shafiei_Nastaran_2014_PhD.pdf(legacy) | 773 |
| Shafiei_Nastaran_2014_PhD.pdf | 457 |
| 4428447 | 6 |
Top country views
| views | |
|---|---|
| United States | 107 |
| European Union | 74 |
| France | 29 |
| Canada | 27 |
| Malaysia | 23 |
| Germany | 21 |
| China | 18 |
| United Kingdom | 13 |
| Ireland | 12 |
| Vietnam | 8 |
| Poland | 6 |
| Sweden | 6 |
| Netherlands | 4 |
| Russia | 4 |
| Singapore | 4 |
| Uganda | 3 |
| Australia | 2 |
| India | 2 |
| Austria | 1 |
| Bulgaria | 1 |
| Brazil | 1 |
| Denmark | 1 |
| Iraq | 1 |
| Italy | 1 |
| Japan | 1 |
| Norway | 1 |
| Peru | 1 |
| Philippines | 1 |
| Romania | 1 |
| Saudi Arabia | 1 |
| Thailand | 1 |
| Ukraine | 1 |
Top city views
| views | |
|---|---|
| Sunnyvale | 21 |
| Toronto | 17 |
| Reims | 16 |
| Dublin | 12 |
| Penang | 10 |
| Southend | 10 |
| Mountain View | 9 |
| Hanoi | 6 |
| Ann Arbor | 5 |
| George Town | 5 |
| New York | 5 |
| Tronoh | 5 |
| Ashburn | 4 |
| Fremont | 4 |
| Nyköping | 4 |
| Tianjin | 4 |
| Des Moines | 3 |
| Gaithersburg | 3 |
| Kampala | 3 |
| San Francisco | 3 |
| Singapore | 3 |
| Woodside | 3 |
| Boardman | 2 |
| Cupertino | 2 |
| Frankfurt am Main | 2 |
| Haiphong | 2 |
| Huntington Park | 2 |
| Jacob-Bellecombette | 2 |
| Kiez | 2 |
| Laveen | 2 |
| Montréal | 2 |
| Port Dover | 2 |
| San Jose | 2 |
| Shah Alam | 2 |
| Shanghai | 2 |
| Shenzhen | 2 |
| South El Monte | 2 |
| Amsterdam | 1 |
| Arbil | 1 |
| Arequipa | 1 |
| Ballerup | 1 |
| Bangalore | 1 |
| Beijing | 1 |
| Blacktown | 1 |
| Bologna | 1 |
| Bremen | 1 |
| Carson City | 1 |
| Chatham | 1 |
| Chennai | 1 |
| Dallas | 1 |
| Dumaguete | 1 |
| Harlem | 1 |
| Hitchin | 1 |
| Joao Pinheiro | 1 |
| Kuantan | 1 |
| Los Altos | 1 |
| Markham | 1 |
| Melbourne | 1 |
| Oakville | 1 |
| Oslo | 1 |
| Palaiseau | 1 |
| Phoenix | 1 |
| Poznan | 1 |
| Riyadh | 1 |
| Skokie | 1 |
| Sofia | 1 |
| Tokyo | 1 |
| Torbay | 1 |
| Vancouver | 1 |
| Woodbridge | 1 |
| Worms | 1 |