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

Alur - Computer Aided Verification 16th International Conference CA - X555z

Ronzhin - Speech and Computer 18th International Conference SPECOM - X555z

Etessami - Computer Aided Verification 17th International Conference - X555z

Emerson - Computer Aided Verification 12th International Conference - X555z

Berry - Computer Aided Verification 13th International Conference C - X555z

Damm - Computer Aided Verification 19th International Conference CA - X555z

Sharygina - Computer Aided Verification 25th International Conferenc - X555z