Joseph

Approximating Minimum Feedba k Sets andMulti uts in Dire ted Graphs

Guy, Eveny, Joseph, 1998 .

Applying the Quality Connector Pattern to Optimize Distributed Real-time and Embedded Middleware and Applications

D. Schmidt, Joseph, J. Cross, 2002 .

Compilation and Veriication of Lotos Speciications

Joseph, SIFAKISyL, I. .G., 1990 .

A Toolbox for the Veri cation of LOTOS ProgramsJean -

Joseph, L. Mounier, A. Rasse, 1992 .