Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems

Authors:
Doron Peled;Moshe Y. Vardi
Affiliations:
-;-
Venue:
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Year:
2002

Citing 0
Cited 2

Feature interaction in policies

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Symmetry in temporal logic model checking

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract