University of Genoa, Dipartimento di Informatica e Scienze dell'Informazione, Genova, Ligurian, Italy
Loading map...
{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
The 7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2001
Topics
Submissions
Important Dates
Cookies help us deliver our services. By using our services, you agree to our use of cookies.