%0 Conference Paper %1 conf/birthday/CastiglioniLT19 %A Castiglioni, Valentina %A Lanotte, Ruggero %A Tini, Simone %B The Art of Modelling Computational Systems %D 2019 %E Alvim, Mário S. %E Chatzikokolakis, Kostas %E Olarte, Carlos %E Valencia, Frank %I Springer %K dblp %P 293-312 %T Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. %U http://dblp.uni-trier.de/db/conf/birthday/palamidessi2019.html#CastiglioniLT19 %V 11760 %@ 978-3-030-31175-9

@inproceedings{conf/birthday/CastiglioniLT19, added-at = {2020-10-25T00:00:00.000+0200}, author = {Castiglioni, Valentina and Lanotte, Ruggero and Tini, Simone}, biburl = {https://www.bibsonomy.org/bibtex/263fcdb9993d5f5d5c1cd52561328ad4f/dblp}, booktitle = {The Art of Modelling Computational Systems}, crossref = {conf/birthday/2019palamidessi}, editor = {Alvim, Mário S. and Chatzikokolakis, Kostas and Olarte, Carlos and Valencia, Frank}, ee = {https://doi.org/10.1007/978-3-030-31175-9_17}, interhash = {c3a4bc7c8f332486c65e379c49749470}, intrahash = {63fcdb9993d5f5d5c1cd52561328ad4f}, isbn = {978-3-030-31175-9}, keywords = {dblp}, pages = {293-312}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:55.000+0200}, title = {Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.}, url = {http://dblp.uni-trier.de/db/conf/birthday/palamidessi2019.html#CastiglioniLT19}, volume = 11760, year = 2019 }