A Static Analysis Technique for Graph Transformation Systems-Reference-Cited by-同舟云学术

A Static Analysis Technique for Graph Transformation Systems

Published:2001 Issue: Volume: Page:381-395
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baldan Paolo,Corradini Andrea,König Barbara

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44685-0_26

Reference19 articles.

1. P. Baldan. Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, Department of Computer Science, University of Pisa, 2000. Available as technical report n. TD-1/00.

2. Lect Notes Comput Sci;P. Baldan,1999

3. Lect Notes Comput Sci;A. Corradini,1996

4. Lect Notes Comput Sci;H. Ehrig,1979

5. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages, and Tools. World Scientific, 1999.

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysis of Graph Transformation Systems: Native vs Translation-based Techniques;Electronic Proceedings in Theoretical Computer Science;2019-12-20

2. A feature-based classification of formal verification techniques for software models;Software & Systems Modeling;2017-03-27

3. Reachability analysis of reversal-bounded automata on series–parallel graphs;Acta Informatica;2016-12-18

4. Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs;Electronic Proceedings in Theoretical Computer Science;2015-09-23

5. Verifying specifications with associated attributes in graph transformation systems;Frontiers of Computer Science;2015-05-09