Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.

Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky

Browse the full FASE paper archive.