Statistics

Total Visits

Views
Counterexample-guided abstraction refinement for the analysis of graph transformation systems 343

Total Visits per Month

November 2019 December 2019 January 2020 February 2020 March 2020 April 2020 May 2020
Counterexample-guided abstraction refinement for the analysis of graph transformation systems 15 25 16 11 13 10 12

File Downloads

Views
TR_2006_01.pdf 162

Top Country Views

Views
Germany 170
United States 128
China 10
Singapore 8
Austria 7
United Kingdom 6
Russia 3
France 2
Iran 2
Poland 2

Top City Views

Views
Frankfurt am Main 109
Ashburn 107
Berlin 30
Southend 6
Singapore 4
Beijing 3
Buffalo 3
Kiel 3
Los Angeles 3
Oldenburg 3