Sadaoui, Samira Mouhoub, Malek Chen, Bo <br/><br/>
An Efficient Lotos-Based Framework  for  Describing and Solving (Temporal) Csps 

 - 765-789 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Specification<br/>Lotos<br/>Simulation