Author:
Francalanza Adrian,Seychell Aldrin
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;L. Aceto,1999
2. Armstrong, J.: Programming Erlang. The Pragmatic Bookshelf (2007)
3. Lecture Notes in Computer Science,2010
4. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for ltl and tltl. ACM Trans. Softw. Eng. Methodol. 20, 14:1–14:64 (2011)
5. Cao, T.-D., Phan-Quang, T.-T., Felix, P., Castanet, R.: Automated runtime verification for web services. In: ICWS, pp. 76–82. IEEE (2010)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献