@book{cefd72156453408c945425a2f34cf564,
title = "Graph Transformation for Verification and Concurrency",
abstract = "The talk will begin with a brief introduction to Rewriting Logic and use of the Maude language. A case study based on modeling security aspects a remote service toolkit will be used to illustrate the approach to formal modeling and analysis in more detail.",
keywords = "IR-54794, Graph Transformation, Verification, EWI-1441, METIS-229283, Concurrency Theory",
author = "R. Heckel and B. K{\"o}nig and Arend Rensink",
note = "HeckelKoeRen2005 TR-CTIT-05-34 ",
year = "2005",
month = jul,
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "05-34",
address = "Netherlands",
}