Alexander Heußner
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO
GT-VMT, 2012.
@article{GT-VMT-2012-Heussner,
author = "Alexander Heußner",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/725",
journal = "{Electronic Communications of the EASST}",
title = "{Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO}",
volume = 47,
year = 2012,
}