Riesco, Daniel <br/><br/>
Modelling of processes and formal methods 

 - p. 321-325 
<br/><br/><label>Standard No.: </label>DIF004806