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/compsac/WangGCZS0S17
%A Wang, Yuexing
%A Gu, Zuxing
%A Cheng, Xi
%A Zhou, Min
%A Song, Xiaoyu
%A Gu, Ming
%A Sun, Jiaguang
%B COMPSAC (1)
%D 2017
%E Reisman, Sorel
%E Ahamed, Sheikh Iqbal
%E Demartini, Claudio
%E Conte, Thomas M.
%E Liu, Ling
%E Claycomb, William R.
%E Nakamura, Motonori
%E Tovar, Edmundo
%E Cimato, Stelvio
%E Lung, Chung-Horng
%E Takakura, Hiroki
%E Yang, Ji-Jiang
%E Akiyama, Toyokazu
%E Zhang, Zhiyong
%E Hasan, Kamrul
%I IEEE Computer Society
%K dblp
%P 85-90
%T A Constraint-Pattern Based Method for Reachability Determination.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#WangGCZS0S17
%@ 978-1-5386-0367-3
@inproceedings{conf/compsac/WangGCZS0S17,
added-at = {2019-08-30T00:00:00.000+0200},
author = {Wang, Yuexing and Gu, Zuxing and Cheng, Xi and Zhou, Min and Song, Xiaoyu and Gu, Ming and Sun, Jiaguang},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e279d56fa8aaa586dbf6609a5b582fd6/dblp},
booktitle = {COMPSAC (1)},
crossref = {conf/compsac/2017-1},
editor = {Reisman, Sorel and Ahamed, Sheikh Iqbal and Demartini, Claudio and Conte, Thomas M. and Liu, Ling and Claycomb, William R. and Nakamura, Motonori and Tovar, Edmundo and Cimato, Stelvio and Lung, Chung-Horng and Takakura, Hiroki and Yang, Ji-Jiang and Akiyama, Toyokazu and Zhang, Zhiyong and Hasan, Kamrul},
ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.12},
interhash = {800156e2dfb8eb4ae9bad0bb28bb9523},
intrahash = {e279d56fa8aaa586dbf6609a5b582fd6},
isbn = {978-1-5386-0367-3},
keywords = {dblp},
pages = {85-90},
publisher = {IEEE Computer Society},
timestamp = {2019-09-27T20:11:34.000+0200},
title = {A Constraint-Pattern Based Method for Reachability Determination.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#WangGCZS0S17},
year = 2017
}