Author:
Lumpe Markus,Grunske Lars,Schneider Jean-Guy
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partition refinement of Component Interaction Automata;Science of Computer Programming;2012-11
2. LEARNING BETTER INSPECTION OPTIMIZATION POLICIES;International Journal of Software Engineering and Knowledge Engineering;2012-08
3. Factorization for Component-Interaction Automata;SOFSEM 2012: Theory and Practice of Computer Science;2012
4. CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems;Electronic Proceedings in Theoretical Computer Science;2011-10-31
5. Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size;Electronic Proceedings in Theoretical Computer Science;2010-10-12