Dissemin is shutting down on January 1st, 2025

Published in

Springer, Formal Methods in System Design, 3(28), p. 213-261, 2006

DOI: 10.1007/s10703-006-0002-5

Links

Tools

Export citation

Search in Google Scholar

Feature interaction detection by pairwise analysis of LTL properties - A case study

Journal article published in 2006 by Muffy Calder ORCID, Alice Miller
This paper is made freely available by the publisher.
This paper is made freely available by the publisher.

Full text: Download

Green circle
Preprint: archiving allowed
Upload
Orange circle
Postprint: archiving restricted
Upload
Red circle
Published version: archiving forbidden
Policy details
Data provided by SHERPA/RoMEO