Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 427

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

prosinec 2024 leden 2025 únor 2025 březen 2025 duben 2025 květen 2025 červen 2025
Using formal methods in distributed system design 3 16 12 14 1 3 0

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 431

Nejvíce zobrazení ze země

Zobrazení
United States 262
Germany 71
China 10
Sweden 9
Česká republika 8
Canada 6
Poland 6
Ireland 5
Russia 4
Vietnam 4

Nejvíce zobrazení z města

Zobrazení
Ashburn 91
San Mateo 34
Louisville 28
Fairfield 20
Mountain View 12
Cambridge 10
Pittsburgh 10
Nürnberg 7
San Ramon 7
Zlin 6