Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s012905410300190x
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 1, 2003
Authors
Publisher
World Scientific Pub Co Pte Lt