%0 Conference Paper %1 conf/etaps/FahrenbergLLT14 %A Fahrenberg, Uli %A Larsen, Kim Guldstrand %A Legay, Axel %A Traonouez, Louis-Marie %B FPS@ETAPS %D 2014 %E Bensalem, Saddek %E Lakhnech, Yassine %E Legay, Axel %I Springer %K dblp %P 84-97 %T Parametric and Quantitative Extensions of Modal Transition Systems. %U http://dblp.uni-trier.de/db/conf/etaps/fps2014.html#FahrenbergLLT14 %V 8415 %@ 978-3-642-54847-5

@inproceedings{conf/etaps/FahrenbergLLT14, added-at = {2018-06-26T00:00:00.000+0200}, author = {Fahrenberg, Uli and Larsen, Kim Guldstrand and Legay, Axel and Traonouez, Louis-Marie}, biburl = {https://www.bibsonomy.org/bibtex/2e5122cf5ac68fbb84456c94332d876bc/dblp}, booktitle = {FPS@ETAPS}, crossref = {conf/etaps/2014fps}, editor = {Bensalem, Saddek and Lakhnech, Yassine and Legay, Axel}, ee = {https://doi.org/10.1007/978-3-642-54848-2_6}, interhash = {2c744b18d1d8c3e4caddf3c45371b10f}, intrahash = {e5122cf5ac68fbb84456c94332d876bc}, isbn = {978-3-642-54847-5}, keywords = {dblp}, pages = {84-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:19.000+0200}, title = {Parametric and Quantitative Extensions of Modal Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/etaps/fps2014.html#FahrenbergLLT14}, volume = 8415, year = 2014 }