Crossmark

Efficient static analysis and verification of featured transition systems

Crossref DOI link: https://doi.org/10.1007/s10664-020-09930-8

Published Online: 2021-10-23

Published Print: 2022-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

ter Beek, Maurice H. https://orcid.org/0000-0002-2930-6367
Damiani, Ferruccio https://orcid.org/0000-0001-8109-1706
Lienhardt, Michael

Mazzanti, Franco https://orcid.org/0000-0003-4562-8777
Paolini, Luca https://orcid.org/0000-0002-4126-0170
Funding

Funding for this research was provided by:

Università degli Studi di Torino
License Information

Text and Data Mining valid from 2021-10-23

Version of Record valid from 2021-10-23
More Information

Article History

Accepted: 17 December 2020

First Online: 23 October 2021