Sciweavers

ECEASST
2010

Recognizable Graph Languages for Checking Invariants

13 years 9 months ago
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Harrie Jan Sander Bruggink, Barba
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where ECEASST
Authors Christoph Blume, Harrie Jan Sander Bruggink, Barbara König
Comments (0)