Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Communications of the ACM
IEEE Internet Computing
Database Access with HTML and Java - A Comparison Based on Practical Experiences
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
Hi-index | 0.00 |