Author:
Blom Stefan,Fokkink Wan,Groote Jan Friso,van Langevelde Izak,Lisser Bert,van de Pol Jaco
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Th. Arts and I.A. van Langevelde. How µCRL supported a smart redesign of a real-world protocol. In Proc. FMICS’99, pp. 31–53, 1999.
2. Th. Arts and I.A. van Langevelde. Correct performance of transaction capabilities. In Proc. ICACSD’2001. IEEE, 2001.
3. Lect Notes Comput Sci;M.A. Bezem,1994
4. S.C.C. Blom. Partial τ-confluence for efficient state space generation. Technical Report, CWI, 2001.
5. M.G.J. van den Brand, H. de Jong, P. Klint, and P.A. Olivier. Efficient annotated terms. Software-Practice and Experience, 30(3):259–291, 2000.
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献