Login / Signup

Verification of specifications in the language L with respect to temporal properties expressible by GR(1) formulas.

Anatoly Chebotarev
Published in: EWDTS (2013)
Keyphrases