Search results for: H Ehrig
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Logic and Compositionality > 502-518
Lecture Notes in Computer Science > KORSO: Methods, Languages, and Tools for the Construction of Correct Software > 173-189
Lecture Notes in Computer Science > Categorical Methods in Computer Science With Aspects from Topology > 220-243
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 301-339
Lecture Notes in Computer Science > Graph-Grammars and Their Application to Computer Science > 82-101
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 240-256
Lecture Notes in Computer Science > Categorical Methods in Computer Science With Aspects from Topology > 157-184