Modelling and analysis using GROOVE
- Resource Type
- Original Paper
- Source
- International Journal on Software Tools for Technology Transfer. February 2012 14(1):15-40
- Subject
Graph-based modelling Graph transformation Tool application Model transformation State space exploration - Language
- English
- ISSN
- 1433-2779
1433-2787