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
Access to resources
Recommend
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.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.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.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.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.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.