Michel Sintzoff
发表
Michel Sintzoff,
Frédéric Geurts,
M. Sintzoff,
1993,
Analysis of Dynamical and Cognitive Systems.
Michel Sintzoff,
M. Sintzoff,
1979,
Semantics of Concurrent Computation.
Michel Sintzoff,
Axel Van Lamsweerde,
A. V. Lamsweerde,
1975,
Reliable Software.
Michel Sintzoff,
Martin Simons,
M. Sintzoff,
1997,
AMAST.
Johan Lewi,
Michel Sintzoff,
Paul Branquart,
1971,
CACM.
Michel Sintzoff,
Axel van Lamsweerde,
2004,
Acta Informatica.
Michel Sintzoff,
Bernhard Möller,
Roland Glück,
2009,
RelMiCS.
Michel Sintzoff,
M. Sintzoff,
1978
.
J. E. L. Peck,
Michel Sintzoff,
Cornelis H. A. Koster,
1976
.
Michel Sintzoff,
M. Sintzoff,
2008,
MPC.
Michel Sintzoff,
Axel van Lamsweerde,
1975
.
Michel Sintzoff,
1991,
Research Directions in High-Level Parallel Programming Languages.
Michel Sintzoff,
Bernhard Möller,
Roland Glück,
2010,
AMAST.
J. E. L. Peck,
Michel Sintzoff,
Cornelis H. A. Koster,
1976
.
J. E. L. Peck,
Michel Sintzoff,
Cornelis H. A. Koster,
2004,
Acta Informatica.
Michel Sintzoff,
1989,
ICSE.
Michel Sintzoff,
1972
.
J. E. L. Peck,
Michel Sintzoff,
Cornelis H. A. Koster,
1962,
Springer Berlin Heidelberg.
Michael Rodeh,
Michel Sintzoff,
N. Frances,
1981,
ICFPC.
Michel Sintzoff,
M. Sintzoff,
2004,
Essays in Memory of Ole-Johan Dahl.
Michel Sintzoff,
1984
.
Michel Sintzoff,
1980,
Symposium on Programming.
J. E. L. Peck,
Michel Sintzoff,
Cornelis H. A. Koster,
1976
.
Michel Sintzoff,
1981,
FPCA '81.
Michel Sintzoff,
Axel Van Lamsweerde,
1980
.
Michel Sintzoff,
M. Sintzoff,
1972,
Proving Assertions About Programs.
Michel Sintzoff,
M. Sintzoff,
1976,
ICALP.
Michel Sintzoff,
1996,
Sci. Comput. Program..
Michel Sintzoff,
1984,
ICLP.
Michel Sintzoff,
M. Sintzoff,
1978,
MFCS.
Michel Sintzoff,
M. Sintzoff,
1993,
Formal Program Development.
Michel Sintzoff,
M. Sintzoff,
1996,
Hybrid Systems.
Michel Sintzoff,
M. Sintzoff,
2003,
Inf. Process. Lett..