Statistiky

Návštěvy celkem

Zobrazení
Using formal methods in distributed system design 589

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

srpen 2025 září 2025 říjen 2025 listopad 2025 prosinec 2025 leden 2026 únor 2026
Using formal methods in distributed system design 12 50 8 32 15 11 11

Stažení souborů

Zobrazení
Fulltext_1007863.pdf 470

Nejvíce zobrazení ze země

Zobrazení
United States 346
Germany 72
Japan 26
China 22
Canada 9
Sweden 9
Česká republika 8
Brazil 6
Poland 6
Vietnam 6

Nejvíce zobrazení z města

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