Login / Signup

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

Julia PadbergKathrin HoffmannMagdalena Gajewsky
Published in: FASE (2000)
Keyphrases