1. A model‐based framework for automatic generation of a pattern language verifier. (24th August 2017) Authors: Rouhi, Alireza; Zamani, Bahman Journal: Software, practice & experience Issue: Volume 47:Number 12(2017) Page Start: 1945 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗