Skip to content

Semantics and Algebra for Action Logic Monitoring State Transitions.

Susumu Yamasaki

Year2017
ProceedingsCOMPLEXIS

Browse the full COMPLEXIS paper archive.