Login / Signup

Approximate Bisimulation for Metric Doubly Labeled Transition System.

Haiyu PanMin ZhangYixiang ChenHengyang Wu
Published in: TASE (2011)
Keyphrases