Treffer: Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.
Title:
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.
Authors:
Source:
Graph Transformation (9783319211442); 2015, p266-274, 9p
Database:
Complementary Index