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

Cached

Download Links

by Marco Brambilla
Citations:2 - 1 self