Author:
Browne M.C.,Clarke E.M.,Grumberg O.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference18 articles.
1. Limits for automatic verification of finite-state concurrent systems;Apt;Inform. Process. Lett.,1986
2. Behavioural equivalence relations induced by programming logics;Brookes,1983
3. Automatic verification of sequential circuits using temporal logic;Browne;IEEE Trans. Comput.,1986
4. Characterizing Kripke structures in temporal logic;Browne,1987-1988
5. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Programm. Lang. Systems,1986
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献