Using XML to implement abstraction for Model Checking.

Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Estefana Rosales

Browse the full SAC paper archive.