Statistics

Total Visits

Views
Using formal methods in distributed system design 512

Total Visits Per Month

March 2025 April 2025 May 2025 June 2025 July 2025 August 2025 September 2025
Using formal methods in distributed system design 14 1 3 7 16 12 50

File Visits

Views
Fulltext_1007863.pdf 449

Top country views

Views
United States 334
Germany 71
China 14
Sweden 9
Czech Republic 8
Canada 6
Poland 6
Ireland 5
Russia 4
Saudi Arabia 4

Top cities views

Views
Ashburn 91
San Mateo 40
Louisville 29
Fairfield 20
Mountain View 12
Cambridge 10
Pittsburgh 10
San Jose 8
Nürnberg 7
San Ramon 7