External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Provably Correct Graph Transformations with Small-tALC

Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran. Provably Correct Graph Transformations with Small-tALC. In Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola Nikitchenko, Grygoriy Zholtkevych, Vyacheslav Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky, editors, Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015. Volume 1356 of CEUR Workshop Proceedings, pages 78-93, CEUR-WS.org, 2015. [doi]

Authors

Nadezhda Baklanova

This author has not been identified. Look up 'Nadezhda Baklanova' in Google

Jon Haël Brenas

This author has not been identified. Look up 'Jon Haël Brenas' in Google

Rachid Echahed

This author has not been identified. It may be one of the following persons: Look up 'Rachid Echahed' in Google

Christian Percebois

This author has not been identified. Look up 'Christian Percebois' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google

Hanh Nhi Tran

This author has not been identified. Look up 'Hanh Nhi Tran' in Google
runs on