DMCA

Bounded Model Checking of Graph Transformation Systems via SMT Solving

Cached

Download Links

by Tobias Isenberg , Dominik Steenken , Heike Wehrheim