On Model Checking Infinite-State Systems
Authors:
Henrik Reif Andersen
Affiliations:
-
Venue:
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
Year:
1994
Citing
0
Cited
1
Model checking
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract