Cite
MLA Citation
María‐del‐Mar Gallardo and Laura Panizo. “Extending model checkers for hybrid system verification: the case study of SPIN.” Software testing, verification & reliability, vol. 24, 2014, pp. 438–471. http://access.bl.uk/ark:/81055/vdc_100024896240.0x000028