Login / Signup

Statistical Model Checking for Networks of Priced Timed Automata.

Alexandre DavidKim G. LarsenAxel LegayMarius MikucionisDanny Bøgsted PoulsenJonas van VlietZheng Wang
Published in: FORMATS (2011)
Keyphrases