Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification

Authors:
Klaus Havelund;John Penix;Willem Visser
Affiliations:
-;-;-
Venue:
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Year:
2000

Citing 0
Cited 1

Optimal scheduling using branch and bound with SPIN 4.0

SPIN'03 Proceedings of the 10th international conference on Model checking software

Quantified Score

Hi-index	0.00

Visualization

Abstract