certifying rule-based models using graph transformation (en Inglés)

lambers, leen · suedwestdeutscher verlag fuer hochschulschrif