Efficient static analysis and verification of featured transition systems.
Saved in:
| Title: | Efficient static analysis and verification of featured transition systems. |
|---|---|
| Authors: | ter Beek, Maurice H.1, maurice.terbeek@isti.cnr.it, Damiani, Ferruccio2, ferruccio.damiani@unito.it, Lienhardt, Michael3, Mazzanti, Franco1, Paolini, Luca2 |
| Source: | Empirical Software Engineering; Jan2022, Vol. 27 Issue 1, p1-30, 30p |
| Database: | Applied Science & Technology Source |
| ISSN: | 13823256 |
|---|---|
| DOI: | 10.1007/s10664-020-09930-8 |
