Author: Charilas Dimitris Panagopoulos Athanasios Markaki Ourania
Publisher: Springer Publishing Company
ISSN: 0929-6212
Source: Wireless Personal Communications, Vol.74, Iss.1, 2014-01, pp. : 147-165
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Verification of a network ASIC Component using Bounded Model Checking
International Journal of Electronics, Vol. 94, Iss. 2, 2007-02 ,pp. :