Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Lecture Notes in Computer Science;H Barringer,2012
2. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. TOSEM 20(4), 14 (2011)
3. Bernardi, G., Hennessy, M.: Mutually testing processes. LMCS 11(2:1), 1–23 (2015)
4. Bielova, N., Massacci, F.: Do you really mean what you actually enforced? Edited automata revisited. Int. J. Inf. Secur. 10(4), 239–254 (2011)
5. Lecture Notes in Computer Science;L Bocchi,2013
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献