Volume 18, Number 1, January 2001
Volume 18, Number 2, March 2001
- Orna Grumberg:
Introduction: Special Issue on CAV '97.
- Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani:
Partial-Order Reduction in Symbolic State-Space Exploration.
- Ulrich Stern, David L. Dill:
Parallelizing the Murj Verifier.
- Ronald H. Hardin, Robert P. Kurshan, Sandeep K. Shukla, Moshe Y. Vardi:
A New Heuristic for Bad Cycle Detection Using BDDs.
- Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh:
Efficient Detection of Vacuity in Temporal Model Checking.
Volume 18, Number 3, May 2001
Last update Fri May 24 20:20:18 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page