Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

Author: Koelbl Alfred   Pixley Carl  

Publisher: Springer Publishing Company

ISSN: 0885-7458

Source: International Journal of Parallel Programming, Vol.33, Iss.6, 2005-12, pp. : 645-666

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