Login / Signup

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.

Mitsuharu YamamotoYoshinori TanabeKoichi TakahashiMasami Hagiya
Published in: VSTTE (2005)
Keyphrases