![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Kim M. Chanson S.T. Vuong S.T.
Publisher: Academic Press
ISSN: 0743-7315
Source: Journal of Parallel and Distributed Computing, Vol.59, Iss.3, 1999-12, pp. : 445-464
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Synthesis of distributed testers from true-concurrency models of reactive systems
By Jard C.
Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)