Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Yang Liuz"'
Publikováno v:
ASE
We present an automatic approach to detecting symmetry relations for general concurrent models. Despite the success of symmetry reduction in mitigating state explosion problem, one essential step towards its soundness and effectiveness, i.e., how to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c2db345a48c1a4fc3f63cef2eae81eb1
https://doi.org/10.1109/ase.2013.6693062
https://doi.org/10.1109/ase.2013.6693062
Publikováno v:
Science. 3/27/2009, Vol. 323 Issue 5922, p1722-1725. 4p.