Optimized L*-Based Assume-Guarantee Reasoning
• Conference Paper
Paper from the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.
Publisher
Software Engineering Institute