Login / Signup

Semantics and Algebra for Action Logic Monitoring State Transitions.

Susumu Yamasaki
Published in: COMPLEXIS (2017)
Keyphrases