Login / Signup

Static Detection of Zeno Runs in UPPAAL Networks Based on Synchronization Matrices and Two Data-Variable Heuristics.

Jonas RinastSibylle Schupp
Published in: FORMATS (2012)
Keyphrases