David Delfieu. Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs. PhD thesis, Paul Sabatier University, Toulouse, France, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.