Statistics

DSpace/Manakin Repository

Statistics

Total Visits

Views
Equivalence-checking on infinite-state systems: Techniques and results 115

Total Visits Per Month

červen 2014 červenec 2014 srpen 2014 září 2014 říjen 2014 listopad 2014 prosinec 2014
Equivalence-checking on infinite-state systems: Techniques and results 2 7 4 7 9 9 4

Top country views

Views
United States of America 63
China 22
Czech Republic 8
United Kingdom 3
Poland 3
Japan 2
Netherlands 1
Russian Federation 1
Ukraine 1

Top cities views

Views
Woodbridge 27
Redwood City 14
Ostrava 7
Beijing 5
Seattle 4
Warsaw 3
Lake Mary 2
Milton Keynes 2
Sunnyvale 2
Mountain View 1

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics