Cite
MLA Citation
Jose Creissac Campos and Jose Machado. “A Specification Patterns System for Discrete Event Systems Analysis.” International journal of advanced robotic systems, vol. 10, 2013, p. . http://access.bl.uk/ark:/81055/vdc_100170131865.0x000009