Project Statistics: Parametrized Verification of Fault-tolerant Distributed Algorithms

From: ever To: now Change data

Email Alert

RSS Feed

Geo Map

Save as a PNG Save as a JPEG

Region	#
EU - Europe	16
AS - Asia, other	2
NA - North America	2
Total	20

Save as a PNG Save as a JPEG

Country	#
AT - Austria	13
DE - Germany	3
US - United States of America	2
CN - China	1
SG - Singapore	1
Total	20

Save as a PNG Save as a JPEG

City	#
Vienna	11
Kent	1
Wayne	1
Unknown	7
Total	20

Save as a PNG Save as a JPEG

Year	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec	Tot
2022	0	0	0	0	0	0	0	2	0	2	0	0	4
2023	1	6	1	0	2	0	0	0	0	3	1	0	14
2024	0	0	2	0	0	0	0	0	0	0	0	0	2
Ever													20