Verifying graph transformation systems with description logics
type: Item
instance of: scholarly article
title: Verifying graph transformation systems with description logics
zbMATH Open document ID: 1394.68224
DOI: 10.1007/978-3-319-92991-0_10
author: Jon Haël Brenas
author: Rachid Echahed
author: Martin Strecker
publication date: 2018-08-24T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6924822
MaRDI profile type: Publication
full work available at URL: 978-3-319-92991-0 10
OpenAlex ID: W2805988959
description: scientific article; zbMATH DE number 6924822