Author:
Holcombe Mike,Holcombe Lucy,Gheorghe Marian,Talbot Nick
Subject
Applied Mathematics,General Biochemistry, Genetics and Molecular Biology,Modelling and Simulation,General Medicine,Statistics and Probability
Reference11 articles.
1. Communicating stream X-machines systems are no more than X-machines;Balanescu;J. Universal Comput. Sci.,1999
2. Automatic verification of finite state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Prog. Lang. Syst.,1986
3. A logic for biological systems;Duan;Biosystems,2000
4. Algebraic Automata Theory;Holcombe,1982
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献