Runtime Verification - 9783319675305

Runtime Verification : 17th International Conference, Rv 2017, Seattle, Wa, U...

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

Leporati - Membrane Computing 17th International Conference CMC 201 - X555z

Legay - Runtime Verification 4th International Conference RV 2013 - X555z

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

Browne - Advances in Computer Games 17th International Conference A - X555z