This data set contains a set of benchmark instances for Petri net reachability and coverability, which were used to evaluate the TACAS'21 submission "Directed Reachability for Infinite-State Systems"
Data scanned directly from paper maps. There are two types of data available: (data1: geometrically corrected data) and (data2: raw image data). Map compilation from air photographs of 1986, controlle
AUSGeoid98 data files contain a 2 minute grid of AUSGeoid98 data covering the Australian region, which you can use to interpolate geoid-ellipsoid separations for the positions required.You can use you
For the digital topographic maps, vector data from the basic DLM are generalised and processed according to the ATKIS signature catalogue. The digital data can be submitted by download or on other med
