Author:
Baeten J. C. M.,van Beek H. M. A.,Mauw S.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Structured Communication-Centered Programming for Web Services;ACM Transactions on Programming Languages and Systems;2012-06
2. Axiomatizing GSOS with termination;The Journal of Logic and Algebraic Programming;2004-07
3. Automatic Conformance Testing of Internet Applications;Formal Approaches to Software Testing;2004
4. An MSC Based Representation of DiCons;SDL 2001: Meeting UML;2001