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 journals/procedia/QianLZ12
%A Qian, Junyan
%A Li, Min
%A Zhao, Lingzhong
%B ICCS
%D 2012
%E Ali, Hesham H.
%E Shi, Yong
%E Khazanchi, Deepak
%E Lees, Michael
%E van Albada, G. Dick
%E Dongarra, Jack J.
%E Sloot, Peter M. A.
%I Elsevier
%K dblp
%P 1363-1370
%T Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction.
%U http://dblp.uni-trier.de/db/journals/procedia/procedia9.html#QianLZ12
%V 9
@inproceedings{journals/procedia/QianLZ12,
added-at = {2017-05-28T00:00:00.000+0200},
author = {Qian, Junyan and Li, Min and Zhao, Lingzhong},
biburl = {https://www.bibsonomy.org/bibtex/21a0e9559b5dee4e94496b311ae5255d3/dblp},
booktitle = {ICCS},
crossref = {conf/iccS/2012},
editor = {Ali, Hesham H. and Shi, Yong and Khazanchi, Deepak and Lees, Michael and van Albada, G. Dick and Dongarra, Jack J. and Sloot, Peter M. A.},
ee = {https://doi.org/10.1016/j.procs.2012.04.150},
interhash = {f11b99f05b1bfaaa8bd41ecd37fe08e1},
intrahash = {1a0e9559b5dee4e94496b311ae5255d3},
keywords = {dblp},
pages = {1363-1370},
publisher = {Elsevier},
series = {Procedia Computer Science},
timestamp = {2017-08-22T11:44:14.000+0200},
title = {Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction.},
url = {http://dblp.uni-trier.de/db/journals/procedia/procedia9.html#QianLZ12},
volume = 9,
year = 2012
}