Inproceedings,

Bounded Variability of Metric Temporal Logic.

, and .
TIME, page 155-163. IEEE Computer Society, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews