Login / Signup

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

Julia PadbergMagdalena GajewskyClaudia Ermel
Published in: FASE (1998)
Keyphrases