LTL formalization of BPML semantics and visual notation for linear temporal logic

by Marco Brambilla
Citations:4 - 1 self