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:16 - 14 self