Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/sew/ZhuHB07
%A Zhu, Huibiao
%A He, Jifeng
%A Bowen, Jonathan P.
%B SEW
%D 2007
%I IEEE Computer Society
%K
%P 131-143
%T Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
%U http://dblp.uni-trier.de/db/conf/sew/sew2007.html#ZhuHB07
@inproceedings{conf/sew/ZhuHB07,
added-at = {2023-12-13T09:06:36.000+0100},
author = {Zhu, Huibiao and He, Jifeng and Bowen, Jonathan P.},
biburl = {https://www.bibsonomy.org/bibtex/2ca8323109e5fe844925478c58a90ff37/admin},
booktitle = {SEW},
crossref = {conf/sew/2007},
ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2007.90},
interhash = {cb19d45a4403f02b040467ff3b77f8bd},
intrahash = {ca8323109e5fe844925478c58a90ff37},
keywords = {},
pages = {131-143},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T09:06:36.000+0100},
title = {Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.},
url = {http://dblp.uni-trier.de/db/conf/sew/sew2007.html#ZhuHB07},
year = 2007
}