Author:
Bravetti Mario,Zavattaro Gianluigi
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;S. Carpineti,2006
2. Lecture Notes in Computer Science;S. Carpineti,2006
3. Nestmann, U.: What is a ”good” encoding of guarded choice? Inf. Comput. 156(1-2), 287–319 (2000)
4. De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83–133 (1984)
5. Rensink, A., Vogler, W.: Fair testing. Technical Report TR-CTIT-05-64, Department of Computer Science, University of Twente (2005)
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献