Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 1013

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 1

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 871

Nejvíce zobrazení ze země

Zobrazení
United States 577
Germany 143
China 32
Japan 29
Vietnam 20
Sweden 18
Canada 14
Česká republika 14
United Kingdom 10
Iran 10

Nejvíce zobrazení z města

Zobrazení
Ashburn 183
San Mateo 52
Louisville 47
Fairfield 40
Tokyo 28
Cambridge 23
Pittsburgh 20
Mountain View 19
Hanoi 15
Nürnberg 14