Author:
Hagerer Andreas,Hungar Hardi,Niese Oliver,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87–106, 1987.
2. E. Brinksma. A theory for the derivation of tests. Proc. of PSTV VIII, pages 63–74, 1988.
3. T.S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3):178–187, 1978.
4. European Computer Manufactures Association (ECMA). Services for computer supported telecommunications applications (CSTA) phase II/III, 1994/1998.
5. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of theoretical computer science. Elsevier, 1990.
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献