Author:
Veanes Margus,Campbell Colin,Grieskamp Wolfgang,Schulte Wolfram,Tillmann Nikolai,Nachmanson Lev
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Spec Explorer tool. public release January 2005, updated release October 2006,
http://research.microsoft.com/specexplorer
2. Spec# tool (public release, March 2005)
http://research.microsoft.com/specsharp
3. Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Proc. 27th Ann. ACM Symp. Theory of Computing, pp. 363–372 (1995)
4. Lecture Notes in Computer Science;R. Alur,1998
5. Lecture Notes in Computer Science;C. Artho,2003
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献