SpaTeL: A Novel Spatial-temporal Logic and Its Applications to Networked Systems
| Author | |
| Year of Publication | 2015 |
| Conference Name | Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control |
| Publisher | ACM |
| Conference Location | New York, NY, USA |
| ISBN Number | 978-1-4503-3433-4 |
| URL | http://doi.acm.org/10.1145/2728606.2728633 |
| DOI | 10.1145/2728606.2728633 |
| Download citation |