Urban street grid description and verification.

Published in: WACV (2000)

Keyphrases

model checking
grid computing
urban areas
face verification
public transport
grid structure
transport network
case study
formal analysis
urban planning
computational grids
asynchronous circuits
public transportation