TY  - SER
AU  - Sadaoui, Samira
AU  - Mouhoub, Malek
AU  - Chen, Bo
TI  - An Efficient Lotos-Based Framework  for  Describing and Solving (Temporal) Csps
KW  -  Formal Specification
KW  - Lotos
KW  - Simulation
ER  -