Logico−Numerical Max−Strategy−Iteration
Peter Schrammel and Pavle Subotic
Book Title
Verification‚ Model Checking and Abstract Interpretation‚ VMCAI'13
Pages
414−433
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7737
Year
2013
Peter Schrammel and Pavle Subotic