Login / Signup

Recognizable Graph Languages for Checking Invariants.

Christoph BlumeH. J. Sander BrugginkBarbara König
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases