Login / Signup

Specification of systems with parameterised events: An institution-independent approach.

Rolf HennickerAlexander Knapp
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases