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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.