@misc{indiciae6317965683b6,
  title = {Reasoning About Bounds in Weighted Transition Systems},
  author = {Mikkel Hansen and Kim Guldstrand Larsen and Radu Mardare and Mathias Ruggaard Pedersen},
  year = {2018},
  doi = {10.23638/lmcs-14(4:19)2018},
  url = {https://arxiv.org/abs/1703.03346},
  note = {Source identifier: 1703.03346}
}