A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties: A GRAPH-LABELING APPROACH FOR EFFICIENT CONE-OF-INFLUENCE COMPUTATION

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Software, practice & experience practice & experience, 2016-04, Vol.46 (4), p.493-511
Hauptverfasser:	Cabodi, Gianpiero, Camurati, Paolo, Quer, Stefano
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!