Statistics

DSpace/Manakin Repository

Statistics

Total Visits

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

Total Visits Per Month

listopad 2014 prosinec 2014 leden 2015 únor 2015 březen 2015 duben 2015 květen 2015
Equivalence-checking on infinite-state systems: Techniques and results 9 7 3 8 6 15 4

Top country views

Views
United States of America 85
China 28
Czech Republic 10
Hong Kong 5
United Kingdom 3
Poland 3
Japan 2
Netherlands 1
Russian Federation 1
Ukraine 1

Top cities views

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

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics