Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 499

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

březen 2025 duben 2025 květen 2025 červen 2025 červenec 2025 srpen 2025 září 2025
Using formal methods in distributed system design 14 1 3 7 16 12 37

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 446

Nejvíce zobrazení ze země

Zobrazení
United States 322
Germany 71
China 14
Sweden 9
Česká republika 8
Canada 6
Poland 6
Ireland 5
Russia 4
Saudi Arabia 4

Nejvíce zobrazení z města

Zobrazení
Ashburn 91
San Mateo 40
Louisville 29
Fairfield 20
Mountain View 12
Cambridge 10
Pittsburgh 10
Nürnberg 7
San Jose 7
San Ramon 7