Author:
Dwyer Matthew B.,Clarke Lori A.,Nies Kari A.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performances evaluation and Petri nets;Modeling and Simulation of Computer Networks and Systems;2015
2. A brief survey of program slicing;ACM SIGSOFT Software Engineering Notes;2005-03
3. Modelling Java concurrency with Object-Z;First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.;2003
4. Concurrent Ada dead statements detection;Information and Software Technology;2002-10
5. Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra;Formal Methods and Software Engineering;2002