DOI,IST REx ID,Title of publication
null,4411,Algorithms and Methodology for Scalable Model Checking