Author:
van Eijk Peter,Belinfante Axel,Eertink Henk,Alblas Henk
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. number 545 in LNCS;H. Alblas,1991
2. T. Bolognesi, J. van de Lagemaat, and C.A. Vissers, editors. LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, 1995.
3. TIK-Schriftenreihe nr. 3;E. E. Dubuis,1994
4. E.H. Eertink. Simulation Techniques for the Validation of LOTOS Specifications. PhD thesis, University of Twente, 1994.
5. Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献