Formal Description Techniques for CSPs and TCSPs.

Malek Mouhoub, Samira Sadaoui, Amrudee Sukpan

Browse the full SEKE paper archive.