View in EDS

Efficient static analysis and verification of featured transition systems.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first