Author:
Di Sciascio Eugenio,Donini Francesco M.,Mongiello Marina,Totaro Rodolfo,Castelluccia Daniela
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Clarke, E.M., Grumberg, O.M., Peled, D.A.: Model Checking (1999)
2. Conallen, J.: Building Web applications with UML (2002)
3. de Alfaro, L.: Model checking the World Wide Web, pp. 77–85 (2001)
4. Di Lucca, G., Di Penta, M.: An approach to identify duplicated web pages. In: 26th Annual International Computer Software and Applications Conference, Oxford, England, pp. 481–486 (2002)
5. Di Penta, M., Antoniol, G., Casazza, G., Merlo, E.: Modeling web maintenance centers through queue models. In: Fifth European Conference on Software Maintenance and Reengineering, Lisbon, Portugal, pp. 131–139 (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献