Author:
Brunet Greg,Chechik Marsha,Uchitel Sebastian
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Lecture Notes in Computer Science;T. Ball,2004
2. Boem, B., Turner, R.: Balancing Agility and Discipline: A Guide for the Perplexed. Person Education (2004)
3. Brunet, G.: A Characterization of Merging Partial Behavioural Models. Master’s thesis, University of Toronto, Department of Computer Science (January 2006)
4. Lecture Notes in Computer Science;G. Bruns,1999
5. Chechik, M., Devereux, B., Easterbrook, S., Gurfinkel, A.: Multi-Valued Symbolic Model-Checking. ACM TOSEM 12(4), 1–38 (2003)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献