Statistics for Techniques for formal verification of concurrent and distributed program traces
Total visits
| views | |
|---|---|
| Techniques for formal verification of concurrent and distributed program traces | 445 |
Total visits per month
| views | |
|---|---|
| November 2023 | 2 |
| December 2023 | 0 |
| January 2024 | 3 |
| February 2024 | 5 |
| March 2024 | 1 |
| April 2024 | 3 |
| May 2024 | 0 |
File Visits
| views | |
|---|---|
| senma042.pdf(legacy) | 202 |
| senma042.pdf | 111 |
| license.txt(legacy) | 38 |
| 18683 | 1 |
| senma042.txt(legacy) | 1 |
| senma042_jhove.xml(legacy) | 1 |
Top country views
| views | |
|---|---|
| United States | 294 |
| China | 136 |
| France | 33 |
| South Korea | 29 |
| United Kingdom | 27 |
| Germany | 20 |
| India | 12 |
| Japan | 11 |
| Netherlands | 9 |
| Pakistan | 6 |
| Finland | 5 |
| Iran | 5 |
| Turkey | 5 |
| Czechia | 4 |
| Russia | 4 |
| Sweden | 4 |
| Canada | 3 |
| Denmark | 3 |
| Greece | 3 |
| Hong Kong SAR China | 3 |
| Italy | 3 |
| Singapore | 3 |
| Ireland | 2 |
| Malaysia | 2 |
| Norway | 2 |
| Poland | 2 |
| Taiwan | 2 |
| Ukraine | 2 |
| Austria | 1 |
| Hungary | 1 |
| Romania | 1 |
| Vietnam | 1 |
Top city views
| views | |
|---|---|
| Ashburn | 61 |
| Beijing | 54 |
| Miami | 47 |
| Beverly Hills | 20 |
| Seoul | 19 |
| Wuhan | 19 |
| Santa Clara | 12 |
| Tianjin | 11 |
| Sunnyvale | 10 |
| Milton Keynes | 8 |
| Palo Alto | 6 |
| Zhengzhou | 6 |
| Guangzhou | 5 |
| Shanghai | 5 |
| Austin | 4 |
| Council Bluffs | 4 |
| Fort Lauderdale | 4 |
| Istanbul | 4 |
| Des Moines | 3 |
| Jacksonville | 3 |
| Lahore | 3 |
| Mumbai | 3 |
| Philadelphia | 3 |
| Prague | 3 |
| Tokyo | 3 |
| Ann Arbor | 2 |
| Bengaluru | 2 |
| Boardman | 2 |
| Central | 2 |
| Changsha | 2 |
| Delhi | 2 |
| Dublin | 2 |
| Islamabad | 2 |
| Liverpool | 2 |
| Mountain View | 2 |
| New York | 2 |
| Oslo | 2 |
| Shenyang | 2 |
| Shenzhen | 2 |
| Singapore | 2 |
| Taipei | 2 |
| Wilmington | 2 |
| Aarhus N | 1 |
| Albertslund | 1 |
| Ambli | 1 |
| Bicske | 1 |
| Bila Tserkva | 1 |
| Blanco | 1 |
| Boise | 1 |
| Buffalo | 1 |
| Chennai | 1 |
| Chongqing | 1 |
| Gatineau | 1 |
| Gothenburg | 1 |
| Halle | 1 |
| Hamburg | 1 |
| Heiwajima | 1 |
| Heraklion | 1 |
| Ho Chi Minh City | 1 |
| Hyderabad | 1 |
| Incline Village | 1 |
| Islington | 1 |
| Itarsi | 1 |
| Izmir | 1 |
| Jersey City | 1 |
| Karachi | 1 |
| Kirkland | 1 |
| Kuala Lumpur | 1 |
| La Jolla | 1 |
| Lake Forest | 1 |
| Lenexa | 1 |
| Lewes | 1 |
| Los Angeles | 1 |
| Madison | 1 |
| Manchester | 1 |
| Mcallen | 1 |
| Metsovo | 1 |
| Midvale | 1 |
| Münster | 1 |
| Nanaimo | 1 |
| Nanchang | 1 |
| New Orleans | 1 |
| Newcastle upon Tyne | 1 |
| Noida | 1 |
| Nottingham | 1 |
| Novocheboksarsk | 1 |
| Nuremberg | 1 |
| Osaka | 1 |
| Oxford | 1 |
| Petaling Jaya | 1 |
| Piscataway | 1 |
| Portland | 1 |
| Saint Petersburg | 1 |
| San Bruno | 1 |
| Seattle | 1 |
| Siechnice | 1 |
| Solms | 1 |
| Sumy | 1 |
| Taby | 1 |
| Tavros | 1 |