Anatol Slissenko <slissenko @ univ-paris12 . fr> (email mangled to prevent spamming)
University Paris 12 Informatics 61, Av. du Gen. de Gaulle CRETEIL, 94010 FRANCE
Abstract:
This is a bibliography of publications of Anatol Slissenko. The companion LaTeX file slissenko-anatol.ltx can be used to typeset this bibliography.
Keywords:
bibliography, BibTeX, real-time systems verification
Author Comments:
At version 1.02, the year coverage looked like this: 1963 ( 1) 1976 ( 1) 1989 ( 4) 1964 ( 3) 1977 ( 0) 1990 ( 1) 1965 ( 1) 1978 ( 4) 1991 ( 3) 1966 ( 1) 1979 ( 2) 1992 ( 1) 1967 ( 3) 1980 ( 2) 1993 ( 3) 1968 ( 0) 1981 ( 4) 1994 ( 1) 1969 ( 1) 1982 ( 1) 1995 ( 2) 1970 ( 1) 1983 ( 5) 1996 ( 3) 1971 ( 0) 1984 ( 2) 1997 ( 5) 1972 ( 0) 1985 ( 1) 1998 ( 5) 1973 ( 1) 1986 ( 0) 1999 ( 2) Article: 28 Book: 2 InCollection: 14 InProceedings: 8 Proceedings: 8 TechReport: 4 Total entries: 64 This file is available as part of the BibNet Project. The master copy is available for public access on ftp.math.utah.edu in the directory tree /pub/bibnet/authors. It is mirrored to netlib.bell-labs.com in the directory tree /netlib/bibnet/authors, from which it is available via anonymous ftp and the Netlib service.