Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 556

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

červen 2025 červenec 2025 srpen 2025 září 2025 říjen 2025 listopad 2025 prosinec 2025
Using formal methods in distributed system design 7 16 12 50 8 32 4

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 461

Nejvíce zobrazení ze země

Zobrazení
United States 341
Germany 71
China 21
Japan 12
Canada 9
Sweden 9
Česká republika 8
Brazil 6
Poland 6
Vietnam 6

Nejvíce zobrazení z města

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