%0 Conference Paper %1 conf/setta/HansenLMPX16 %A Hansen, Mikkel %A Larsen, Kim Guldstrand %A Mardare, Radu %A Pedersen, Mathias Ruggaard %A Xue, Bingtian %B SETTA %D 2016 %E Fränzle, Martin %E Kapur, Deepak %E Zhan, Naijun %K dblp %P 213-228 %T A Complete Approximation Theory for Weighted Transition Systems. %U http://dblp.uni-trier.de/db/conf/setta/setta2016.html#HansenLMPX16 %V 9984 %@ 978-3-319-47676-6

@inproceedings{conf/setta/HansenLMPX16, added-at = {2024-05-07T00: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/236a9c313736e9ae8cff5262351d50a79/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2016}, editor = {Fränzle, Martin and Kapur, Deepak and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-319-47677-3_14}, interhash = {b45f29c877beb6295670284066f43943}, intrahash = {36a9c313736e9ae8cff5262351d50a79}, isbn = {978-3-319-47676-6}, keywords = {dblp}, pages = {213-228}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:20:33.000+0200}, title = {A Complete Approximation Theory for Weighted Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2016.html#HansenLMPX16}, volume = 9984, year = 2016 }