%0 Conference Paper %1 conf/tlca/SeveriV13 %A Severi, Paula %A de Vries, Fer-Jan %B TLCA %D 2013 %E Hasegawa, Masahito %I Springer %K dblp %P 221-235 %T Completeness of Conversion between Reactive Programs for Ultrametric Models. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2013.html#SeveriV13 %V 7941 %@ 978-3-642-38946-7

@inproceedings{conf/tlca/SeveriV13, added-at = {2017-05-17T00:00:00.000+0200}, author = {Severi, Paula and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/2ff48c06d6c7a5af1659e7917645bb27d/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2013}, editor = {Hasegawa, Masahito}, ee = {https://doi.org/10.1007/978-3-642-38946-7_17}, interhash = {6b7d30196b77c3f7662cf3d3a81bf6c2}, intrahash = {ff48c06d6c7a5af1659e7917645bb27d}, isbn = {978-3-642-38946-7}, keywords = {dblp}, pages = {221-235}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:55.000+0200}, title = {Completeness of Conversion between Reactive Programs for Ultrametric Models.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2013.html#SeveriV13}, volume = 7941, year = 2013 }