"Toward an integrated framework for the simulation, formal analysis and ..."

Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics