Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 785

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

duben 2026 květen 2026 červen 2026 červenec 2026 srpen 2026 září 2026 říjen 2026
Using formal methods in distributed system design 8 9 26 17 6 24 96

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 551

Nejvíce zobrazení ze země

Zobrazení
United States 425
Germany 73
China 55
Japan 33
Vietnam 16
Canada 11
Saudi Arabia 11
Česká republika 9
Russia 9
Sweden 9

Nejvíce zobrazení z města

Zobrazení
Ashburn 100
San Mateo 49
Tokyo 32
Louisville 30
Cambridge 22
Fairfield 22
Mountain View 18
San Jose 12
Hanoi 11
Pittsburgh 10