Author:
Blom Stefan,Calamé Jens R.,Lisser Bert,Orzan Simona,Pang Jun,van de Pol Jaco,Dashti Mohammad Torabi,Wijs Anton J.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;G. Behrmann,2000
2. Lecture Notes in Computer Science;S.C.C. Blom,2001
3. Blom, S.C.C., et al.: New developments around the μCRL tool set. ENTCS 80 (2003)
4. Blom, S.C.C., Orzan, S.M.: A distributed algorithm for strong bisimulation reduction of state spaces. STTT 7(1), 74–86 (2005)
5. Calamé, J.R., Ioustinova, N., van de Pol, J.C.: Towards Automatic Generation of Parameterized Test Cases from Abstractions. Technical Report SEN-E0602, CWI (March 2006)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献