Runtime Verification - 9783642356315

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

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

Bagnoli - Internet Science Third International Conference INSCI 201 - X555z

Finkbeiner - Runtime Verification 19th International Conference RV - X555z

Bonakdarpour - Runtime Verification 5th International Conference RV - X555z

Runtime Verification : Third International Conference, RV 2012, Istanbul, Tur...

Colombo - Runtime Verification 18th International Conference RV 201 - X555z