Efficient Computation of Recurrence Diameters
Daniel Kroening and Ofer Strichman
Details
| Book Title |
4th International Conference on Verification‚ Model Checking‚ and Abstract Interpretation |
| Editor |
Zuck‚ L. and Attie‚ P. and Cortesi‚ A. and Mukhopadhyay‚ S. |
| Month |
January |
| Pages |
298–309 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2575 |
| Year |
2003 |
Links
Related pages
|
People |