Composition and Independence of High-Level Net Processes Ehrig, Hartmut Hoffmann, Kathrin Gabriel, Karsten Padberg, Julia 2009 - ReposIt
Towards Component Verification in the Generic Component Framework Padberg, Julia Ehrig, Hartmut Orejas, Fernando 2009 - ReposIt