Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 636

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

prosinec 2025 leden 2026 únor 2026 březen 2026 duben 2026 květen 2026 červen 2026
Using formal methods in distributed system design 15 11 14 7 8 9 20

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 487

Nejvíce zobrazení ze země

Zobrazení
United States 365
Germany 72
Japan 28
China 24
Vietnam 11
Canada 10
Sweden 9
Česká republika 8
Iran 7
Brazil 6

Nejvíce zobrazení z města

Zobrazení
Ashburn 92
San Mateo 48
Louisville 29
Tokyo 28
Fairfield 20
Mountain View 13
Cambridge 12
Pittsburgh 10
San Jose 10
Hanoi 8