On formal reachability analysis in networks with dynamic behavior

Author: Silva Gayan  

Publisher: Springer Publishing Company

ISSN: 1018-4864

Source: Telecommunication Systems, Vol.52, Iss.2, 2013-02, pp. : 919-929

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract