Author: Sharkey Noel E. Sharkey Amanda J. C.
Publisher: Taylor & Francis Ltd
ISSN: 1360-0494
Source: Connection Science, Vol.7, Iss.3-4, 1995-09, pp. : 301-330
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
MAVEN: modular aspect verification and interference analysis
By Goldman Max
Formal Methods in System Design, Vol. 37, Iss. 1, 2010-11 ,pp. :