Zugriffszahlen seit März 2016. Zugriffszahlen aus dem Vorgängersystem werden nicht mitberücksichtigt.

Gesamtzugriffe

Zugriffe
Verifikation abstrakter Zustandsmaschinen521

Gesamtzugriffe pro Monat

Februar 2022März 2022April 2022Mai 2022Juni 2022Juli 2022August 2022
Verifikation abstrakter Zustandsmaschinen141129633

Dateiabrufe

Zugriffe
vts_346.pdf209
vts_2101.pdf2

Zugriffe nach Ländern

Zugriffe

Zugriffe nach Städten

Zugriffe