A divide & conquer approach to leads-to model checking for large-scale systems
This item is under embargo and is only visible to journalists
Please login here
Regions: Asia, Japan
Keywords: Applied science, Computing, Engineering, Science, Mathematics
The item has been withdrawn. If you are a journalists please contact the person that posted the item with any questions.