共 50 条
- [2] Pattern graph rewrite systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (143): : 54 - 66
- [3] Transformations of Conditional Rewrite Systems Revisited RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2009, 5486 : 166 - 186
- [4] Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling SOFTWARE AND SYSTEMS MODELING, 2014, 13 (01): : 171 - 172
- [5] Software and systems modeling with graph transformations theme issue of the Journal on Software and Systems Modeling Software & Systems Modeling, 2014, 13 : 171 - 172
- [6] Graph rewrite systems for program optimization ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (04): : 583 - 637
- [9] Process Rewrite Systems for Software Model Checking 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 15 - 22
- [10] Using Graph Transformations and Graph Abstractions for Software Verification GRAPH TRANSFORMATIONS, 2010, 6372 : 416 - 418