Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fcst/MiaoZ10
%A Miao, Li
%A Zhang, Da-Fang
%B FCST
%D 2010
%E Stojmenovic, Ivan
%E Farin, Gerald E.
%E Guo, Minyi
%E Jin, Hai
%E Li, Keqiu
%E Hu, Liang
%E Wei, Xiaohui
%E Che, Xiangjiu
%I IEEE Computer Society
%K dblp
%P 291-296
%T A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis.
%U http://dblp.uni-trier.de/db/conf/fcst/fcst2010.html#MiaoZ10
%@ 978-0-7695-4139-6
@inproceedings{conf/fcst/MiaoZ10,
added-at = {2014-10-16T00:00:00.000+0200},
author = {Miao, Li and Zhang, Da-Fang},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fa3108b6bba3c3fc67e5784ca1f6b5fc/dblp},
booktitle = {FCST},
crossref = {conf/fcst/2010},
editor = {Stojmenovic, Ivan and Farin, Gerald E. and Guo, Minyi and Jin, Hai and Li, Keqiu and Hu, Liang and Wei, Xiaohui and Che, Xiangjiu},
ee = {http://doi.ieeecomputersociety.org/10.1109/FCST.2010.15},
interhash = {1b97c0ee8377fe6879d66623ac269465},
intrahash = {fa3108b6bba3c3fc67e5784ca1f6b5fc},
isbn = {978-0-7695-4139-6},
keywords = {dblp},
pages = {291-296},
publisher = {IEEE Computer Society},
timestamp = {2016-02-02T12:36:47.000+0100},
title = {A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis.},
url = {http://dblp.uni-trier.de/db/conf/fcst/fcst2010.html#MiaoZ10},
year = 2010
}