Deciding Bisimilarity of Full BPA Processes Locally
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Hi-index | 0.01 |