Nicolas Halbwachs. Modélisation et analyse du comportement des systèmes informatiques temporisés. (Modelling and analysis of timed computer system behaviour). 1984. [doi]
No references recorded for this publication.
No citations of this publication recorded.