Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/hybrid/MurthyISG15
%A Murthy, Abhishek
%A Islam, Md. Ariful
%A Smolka, Scott A.
%A Grosu, Radu
%B HSCC
%D 2015
%E Girard, Antoine
%E Sankaranarayanan, Sriram
%I ACM
%K dblp
%P 78-87
%T Computing bisimulation functions using SOS optimization and δ-decidability over the reals.
%U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#MurthyISG15
%@ 978-1-4503-3433-4
@inproceedings{conf/hybrid/MurthyISG15,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Murthy, Abhishek and Islam, Md. Ariful and Smolka, Scott A. and Grosu, Radu},
biburl = {https://www.bibsonomy.org/bibtex/2cf93c2d534513db34c8b41f6a64cecad/dblp},
booktitle = {HSCC},
crossref = {conf/hybrid/2015},
editor = {Girard, Antoine and Sankaranarayanan, Sriram},
ee = {https://doi.org/10.1145/2728606.2728609},
interhash = {7d55c43feec89c80ed33c78640759923},
intrahash = {cf93c2d534513db34c8b41f6a64cecad},
isbn = {978-1-4503-3433-4},
keywords = {dblp},
pages = {78-87},
publisher = {ACM},
timestamp = {2019-09-07T11:41:00.000+0200},
title = {Computing bisimulation functions using SOS optimization and δ-decidability over the reals.},
url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#MurthyISG15},
year = 2015
}