%0 Conference Paper %1 conf/csr/BauerFLT12 %A Bauer, Sebastian S. %A Fahrenberg, Uli %A Legay, Axel %A Thrane, Claus R. %B CSR %D 2012 %E Hirsch, Edward A. %E Karhumäki, Juhani %E Lepistö, Arto %E Prilutskii, Michail Kh. %I Springer %K dblp %P 18-30 %T General Quantitative Specification Theories with Modalities. %U http://dblp.uni-trier.de/db/conf/csr/csr2012.html#BauerFLT12 %V 7353 %@ 978-3-642-30641-9

@inproceedings{conf/csr/BauerFLT12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bauer, Sebastian S. and Fahrenberg, Uli and Legay, Axel and Thrane, Claus R.}, biburl = {https://www.bibsonomy.org/bibtex/264853cd85ec88846c63f6def6fa0c716/dblp}, booktitle = {CSR}, crossref = {conf/csr/2012}, editor = {Hirsch, Edward A. and Karhumäki, Juhani and Lepistö, Arto and Prilutskii, Michail Kh.}, ee = {https://doi.org/10.1007/978-3-642-30642-6_3}, interhash = {388547e701c5ddf6cf58955e234dcc71}, intrahash = {64853cd85ec88846c63f6def6fa0c716}, isbn = {978-3-642-30641-9}, keywords = {dblp}, pages = {18-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:49:50.000+0200}, title = {General Quantitative Specification Theories with Modalities.}, url = {http://dblp.uni-trier.de/db/conf/csr/csr2012.html#BauerFLT12}, volume = 7353, year = 2012 }