MarĂa-del-Mar Gallardo, Laura Panizo. Extending model checkers for hybrid system verification: the case study of SPIN. Softw. Test., Verif. Reliab., 24(6):438-471, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.