Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 831

Návštěvy celkem za měsíc

květen 2026 červen 2026 červenec 2026 srpen 2026 září 2026 říjen 2026 listopad 2026
Using formal methods in distributed system design 9 26 17 6 30 107 29

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 564

Nejvíce zobrazení ze země

Zobrazení
United States 439
Germany 77
China 59
Japan 36
Vietnam 17
Saudi Arabia 13
Canada 11
United Kingdom 11
Russia 11
Česká republika 10

Nejvíce zobrazení z města

Zobrazení
Ashburn 101
San Mateo 49
Tokyo 35
Louisville 30
Mountain View 23
Cambridge 22
Fairfield 22
Hanoi 12
San Jose 12
Pittsburgh 10