Automatic Detection of Feature Interactions in Temporal Logic

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

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

70 Citations

051015'97'02'08'14
Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.

References

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