Automatic Detection of Feature Interactions in Temporal Logic

  title={Automatic Detection of Feature Interactions in Temporal Logic},
  author={Johan Blom and Roland N. Bol and Lars Kempe},
Highly Cited
This paper has 70 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 10 references

A Temporal Logic of Actions

ACM Trans. Program. Lang. Syst. • 1994
View 1 Excerpt

The Z Notation

J. M. Spivey
Prentice-Hall • 1989
View 1 Excerpt

Schnure , andH . Velthuijsen . A featureinteraction benchmark for IN and beyond

Y.-J. Linand M. E. Nilson, K. W.
IEEE Communications Magazine