![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
Period of time: 2004年3期
Publisher: Elsevier
Founded in: 1995
Total resources: 23
ISSN: 1571-0661
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 52,issue 3
Menu
![](/images/ico/ico5.png)
![](/images/ico/ico5.png)
Characterizing Non-Zenoness on Real-Time Processes
By Stribrna J., Lee I. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 3 , Vol. 52, Iss. 3, 2004-01 , pp.![](/images/ico/ico5.png)
Non-determinism in Probabilistic Timed Systems with General Distributions
By Bravetti M., Aldini A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 3 , Vol. 52, Iss. 3, 2004-01 , pp.![](/images/ico/ico5.png)
Towards a Process Algebra for Shared Processors
By Buchholtz M., Andersen J., Lovengreen H.H. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 3 , Vol. 52, Iss. 3, 2004-01 , pp.![](/images/ico/ico5.png)
Petri Nets with Discrete Phase Type Timing - A Bridge Between Stochastic and Functional Analysis
By Bobbio A., Horvath A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 3 , Vol. 52, Iss. 3, 2004-01 , pp.![](/images/ico/ico5.png)
Extending Timed Automata for Compositional Modeling Healthy Timed Systems
By Braberman V., Olivero A. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 3 , Vol. 52, Iss. 3, 2004-01 , pp.![](/images/ico/ico5.png)
By Lanotte R., Maggiolo-Schettini A., Tini S. in (2004)
Electronic Notes in Theoretical Computer Science,volume 52,issue 3 , Vol. 52, Iss. 3, 2004-01 , pp.