Rule-Based Refinement of High-Level Nets Preserving Safety Properties (1998)

by J. Padberg , M. Gajewsky , C. Ermel
Venue:Fundamental approaches to Software Engineering
Citations:15 - 13 self