<style face="normal" font="default" size="100%">SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems</style>

Drupal-Bibcite