![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Dang Z. Pietro P.S. Kemmerer R.A.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.299, Iss.1, 2003-04, pp. : 413-438
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)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Verification in loosely synchronous queue-connected discrete timed automata
By Ibarra O.H. Dang Z. Pietro P.S.
Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Past pushdown timed automata and safety verification
By Dang Z. Bultan T. H. Ibarra O. A. Kemmerer R.
Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. :