A simplification of a real-time verification problem

Suman Roy, Janardan Misra, Indranil Saha. A simplification of a real-time verification problem. Softw. Test., Verif. Reliab., 26(8):548-571, 2016. [doi]

Abstract

Abstract is missing.