1. A simplification of a real‐time verification problem. (10th October 2016) Authors: Roy, Suman; Misra, Janardan; Saha, Indranil Journal: Software testing, verification & reliability Issue: Volume 26:Number 8(2016) Page Start: 548 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗