Author:
Bunte Olav,Groote Jan Friso,Keiren Jeroen J. A.,Laveaux Maurice,Neele Thomas,de Vink Erik P.,Wesselink Wieger,Wijs Anton,Willemse Tim A. C.
Publisher
Springer International Publishing
Reference49 articles.
1. Badban, B., et al.: Verification of a sliding window protocol in
$$\rm \mu $$
CRL and PVS. Formal Aspects Comput. 17(3), 342–388 (2005)
2. Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding bisimilarity and similarity for probabilistic processes. JCSS 60(1), 187–231 (2000)
3. ter Beek, M.H., de Vink, E.P.: Using mCRL2 for the analysis of software product lines. In: Proceedings of the FormaliSE 2014, pp. 31–37. ACM (2014)
4. ter Beek, M.H., de Vink, E.P., Willemse, T.A.C.: Towards a feature mu-calculus targeting SPL verification. In: Proceedings of the FMSPLE 2016, EPTCS, p. 15 (2016)
5. Lecture Notes in Computer Science;MH Beek ter,2017
Cited by
93 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献