Basket

0454008 - MÚ 2017 RIV CH eng C - Conference Paper (international conference)
de Oliveira Oliveira, Mateus
Reachability in graph transformation systems and slice languages.
Graph Transformation. Cham: Springer, 2015 - (Parisi-Presicce, F.; Westfechtel, B.), s. 121-137. Lecture Notes in Computer Science, 9151. ISBN 978-3-319-21144-2. ISSN 0302-9743.
[International Conference on Graph Transformation, ICGT 2015. L'Aquila (IT), 21.06.2015-23.06.2015]
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : graph transformation systems * reachability * slice languages
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007%2F978-3-319-21145-9_8
Permanent Link: http://hdl.handle.net/11104/0254722