Tableau Recycling
Authors:
Angelika Mader
Affiliations:
-
Venue:
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Year:
1992
Citing
0
Cited
1
Model checking
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract