Login / Signup

A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems.

Ping HouYifei Chen
Published in: ARQNL@IJCAR (2014)
Keyphrases