Subject
General Computer Science,Theoretical Computer Science
Reference60 articles.
1. Analyzing and Verifying Locally Clocked Circuits with the Concurrency Workbench;Baulch,1995
2. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time;Bernardo;Theoretical Computer Science,1998
3. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time;Bernardo;Theoretical Computer Science,2001
4. MoDeST: A Compositional Modeling Formalism for Real-Time and Stochastic Systems;Bohnenkamp;IEEE Transactions on Software Engineering,2006
5. LOTOSphere: Software Development with LOTOS,1995
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献