Runtime Verification Third International Conference RV 2012 Istan

Runtime Verification - 9783642356315

Bartocci - Runtime Verification 6th International Conference RV 201 - X555z

Falcone - Runtime Verification 16th International Conference RV 201 - X555z

Bagnoli - Internet Science Third International Conference INSCI 201 - X555z

Shaz Qadeer / Computer Aided Verification9783642221095

Finkbeiner - Runtime Verification 19th International Conference RV - X555z

Bonakdarpour - Runtime Verification 5th International Conference RV - X555z