Type abstractions of name-passing processes
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Complete SAT-based model checking for context-free processes
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Advanced mechanisms for service composition, query and discovery
Rigorous software engineering for service-oriented systems
Hi-index | 0.00 |