Electronic Communications of the EASST
Hülsbusch, Mathias, Universität Duisburg Essen, Germany
-
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium - Articles
Application Conditions for Reactive Systems with Applications to Bisimulation Theory
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.