Statistics

Total Visits

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

Total Visits per Month

December 2018 January 2019 February 2019 March 2019 April 2019 May 2019 June 2019
Counterexample-guided abstraction refinement for the analysis of graph transformation systems 13 9 9 3 2 7 4

File Downloads

Views
TR_2006_01.pdf 56

Top Country Views

Views
Germany 65
United States 23
Austria 7
United Kingdom 6
Russia 3
China 2
France 2
Iran 2
Switzerland 1
Ireland 1

Top City Views

Views
Berlin 29
Ashburn 13
Frankfurt am Main 8
Southend 6
Kiel 3
Oldenburg 3
University Park 3
Beijing 2
Houston 2
Isfahan 2