Login / Signup

A model of systems with modes and mode transitions.

Edwin J. BeggsJohn V. Tucker
Published in: J. Log. Algebraic Methods Program. (2022)
Keyphrases