"Partial-order Reduction Techniques for Real-time Model Checking."

Dennis Dams et al. (1998)
maintained by Schloss Dagstuhl LZI, founded at University of Trier