Rule-Based Refinement of High-Level Nets Preserving Safety Properties.

Julia Padberg, Magdalena Gajewsky, Claudia Ermel

Browse the full FASE paper archive.