Reasoning about Smart City.

Martin Burns, Edward R. Griffor, Marcello Balduccini, Claire Vishik, Michael Huth, David A. Wollman

Browse the full SmartComp paper archive.