Statistics

DSpace/Manakin Repository

Statistics

Total Visits

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

Total Visits Per Month

září 2014 říjen 2014 listopad 2014 prosinec 2014 leden 2015 únor 2015 březen 2015
Equivalence-checking on infinite-state systems: Techniques and results 7 9 9 7 3 8 0

Top country views

Views
United States of America 74
China 24
Czech Republic 9
United Kingdom 3
Poland 3
Japan 2
Netherlands 1
Russian Federation 1
Ukraine 1

Top cities views

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

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics