

Author: Wabenhorst A.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.300, Iss.1, 2003-05, pp. : 181-207
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






-transitions in Concurrent Timed Automata
By Lanotte R. Maggiolo-Schettini A. Tini S.
Information Processing Letters, Vol. 89, Iss. 1, 2004-01 ,pp. :


By Baeten J.
Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. :


Finite automata on timed -trees
Theoretical Computer Science, Vol. 293, Iss. 3, 2003-02 ,pp. :