Author:
Andrianarivelo Nirina,Réty Pierre
Publisher
Springer International Publishing
Reference16 articles.
1. Andrianarivelo, N., Réty, P.: Over-Approximating Terms Reachable by Context-Sensitive Rewriting (full version). Technical Report RR-2015-02, LIFO, Université d’Orléans (2015)
2. Boichut, Y., Chabin, J., Réty, P.: Over-approximating descendants by synchronized tree languages. In: Proceedings of the International Conference RTA. LIPIcs, vol. 21, pp. 128–142 (2013)
3. Lecture Notes in Computer Science;Y Boichut,2007
4. Cortier, V., Delaune, S., Lafourcade, P.: A Survey of Algebraic Properties Used in Cryptographic Protocols. Journal of Computer Security 14(1), 1–43 (2006)
5. D’Silva, V., Kroening, D., Weissenbacher, G.: A Survey of Automated Techniques for Formal Software Verification. IEEE Transactions Computer-Aided Design of Integrated Circuits and Systems 27(7), 1165–1178 (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献