Algorithms for efficient state space search

Authors:
Malay Kumar Ganai;Adnan Aziz
Affiliations:
-;-
Venue:
Algorithms for efficient state space search
Year:
2001

Citing 0
Cited 2

Property Checking via Structural Analysis

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Enhanced Diameter Bounding via Structural

Proceedings of the conference on Design, automation and test in Europe - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract