Author:
Flores Sonia,Lucas Salvador,Villanueva Alicia
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Model Checking The World Wide Web;de Alfaro,2001
2. Rule-based Verification of Web Sites;Alpuente;Software Tools for Technology Transfer,2006
3. M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda, and D. Romero. A Fast Algebraic Web Verification Service. In First International Conference on Web Reasoning and Rule Systems, volume to appear of Lecture Notes in Computer Science. Springer-Verlag, 2007
4. A Real-Time Logic for tccp verification;Alpuente;Journal of Universal Computer Science,2006
5. A really temporal logic;Alur;Journal of the ACM,1994
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献