Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII

Authors:
Dieter Hogrefe;Stefan Leue
Affiliations:
-;-
Venue:
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Year:
1995

Citing 0
Cited 2

Using SPIN for feature interaction analysis—a case study

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Symmetry in temporal logic model checking

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract