Author:
Devillers Marco,Griffioen David,Müller Olaf
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. PhD thesis;S. Agerholm,1994
2. Alonzo Church. A formulation of the simple theory of types. J. Symbolic Logic, 5:56–68, 1940.
3. Ching-Tsun Chou and Doron Peled. Formal verification of a partial-order reduction technique for model checking. In T. Margaria and B. Steffen, editors, Proc. 2nd Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of Lecture Notes in Computer Science. Springer-Verlag, 1996.
4. Marco Devillers and David Griffioen. A formalization of finite and infinite sequences in PVS. Technical Report CSI-89702, Computing Science Institute, University of Nijmegen, 1997.
5. Solomom Feferman. Computation on abstract data types. the extensional approach, with an application to streams. Annals of Pure and Applied Logic, 81:75–113, 1996.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献