Conditional transition systems with upgrades

Beohar, H. orcid.org/0000-0001-5256-1334, König, B., Küpper, S. et al. (1 more author) (2020) Conditional transition systems with upgrades. Science of Computer Programming, 186. 102320. ISSN 0167-6423

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 Elsevier B.V. This is an author produced version of a paper subsequently published in Science of Computer Programming. Uploaded in accordance with the publisher's self-archiving policy. Article available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: Conditional transition systems; Software product lines; BDDs; Features; Bisimulation
Dates:
  • Accepted: 30 September 2019
  • Published (online): 24 October 2019
  • Published: 1 February 2020
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 13 Mar 2020 16:19
Last Modified: 24 Oct 2020 00:39
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2019.102320

Download

Share / Export

Statistics