Article,
Reasoning About Bounds in Weighted Transition Systems.
M. Hansen, K. Larsen, R. Mardare, M. Pedersen, and B. Xue.CoRR, (2017)
Meta data
- BibTeX key
- journals/corr/HansenLMPX17
- entry type
- article
- year
- 2017
- journal
- CoRR
- volume
- abs/1703.03346
- ee
- http://arxiv.org/abs/1703.03346
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1703.html#HansenLMPX17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/HansenLMPX17
%A Hansen, Mikkel
%A Larsen, Kim Guldstrand
%A Mardare, Radu
%A Pedersen, Mathias Ruggaard
%A Xue, Bingtian
%D 2017
%J CoRR
%K dblp
%T Reasoning About Bounds in Weighted Transition Systems.
%U http://dblp.uni-trier.de/db/journals/corr/corr1703.html#HansenLMPX17
%V abs/1703.03346
@article{journals/corr/HansenLMPX17,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Hansen, Mikkel and Larsen, Kim Guldstrand and Mardare, Radu and Pedersen, Mathias Ruggaard and Xue, Bingtian},
biburl = {https://www.bibsonomy.org/bibtex/2ab81797d7ade75e1cb256b0252e8caff/dblp},
ee = {http://arxiv.org/abs/1703.03346},
interhash = {cabae75b6ca1a4027b9573804febcb87},
intrahash = {ab81797d7ade75e1cb256b0252e8caff},
journal = {CoRR},
keywords = {dblp},
timestamp = {2018-08-14T11:59:16.000+0200},
title = {Reasoning About Bounds in Weighted Transition Systems.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1703.html#HansenLMPX17},
volume = {abs/1703.03346},
year = 2017
}